Interface: ProofStatisticsDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Causal / ProofStatisticsDto

Interface: ProofStatisticsDto

Defined in: src/types/causal.ts:68

Proof tree statistics.

Properties

durationMs?

optional durationMs: number | null

Defined in: src/types/causal.ts:70

Duration in milliseconds.

---

maxDepth

maxDepth: number

Defined in: src/types/causal.ts:72

Maximum depth reached.

---

rulesApplied

rulesApplied: number

Defined in: src/types/causal.ts:74

Number of rules applied.

---

totalNodes

totalNodes: number

Defined in: src/types/causal.ts:76

Total nodes in proof.