Interface: DiscoveryProofStatsDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Statistical / DiscoveryProofStatsDto

Interface: DiscoveryProofStatsDto

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

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

Properties

durationMs?

optional durationMs: number | null

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

Duration in milliseconds.

---

maxDepth

maxDepth: number

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

Maximum depth.

---

totalNodes

totalNodes: number

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

Total nodes in tree.