Interface: DiscoveryProofStatsDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Statistical / DiscoveryProofStatsDto

Interface: DiscoveryProofStatsDto

Defined in: src/types/statistical.ts:299

Statistics about a single proof node in the discovery proof tree.

Properties

durationMs?

optional durationMs: number | null

Defined in: src/types/statistical.ts:301

Duration in milliseconds.

---

maxDepth

maxDepth: number

Defined in: src/types/statistical.ts:303

Maximum depth.

---

totalNodes

totalNodes: number

Defined in: src/types/statistical.ts:305

Total nodes in tree.