Interface: ProofStatisticsDto
@kortexya/reasoninglayer / ProofStatisticsDto
Interface: ProofStatisticsDto
Section titled “Interface: ProofStatisticsDto”Defined in: src/types/causal.ts:68
Proof tree statistics.
Properties
Section titled “Properties”durationMs?
Section titled “durationMs?”
optionaldurationMs?:number|null
Defined in: src/types/causal.ts:70
Duration in milliseconds.
maxDepth
Section titled “maxDepth”maxDepth:
number
Defined in: src/types/causal.ts:72
Maximum depth reached.
rulesApplied
Section titled “rulesApplied”rulesApplied:
number
Defined in: src/types/causal.ts:74
Number of rules applied.
totalNodes
Section titled “totalNodes”totalNodes:
number
Defined in: src/types/causal.ts:76
Total nodes in proof.