Interface: SymbolicResultDto
@kortexya/reasoninglayer / SymbolicResultDto
Interface: SymbolicResultDto
Section titled “Interface: SymbolicResultDto”Defined in: src/types/cdl.ts:98
Summary of symbolic forward chaining result.
Properties
Section titled “Properties”derivedCount
Section titled “derivedCount”derivedCount:
number
Defined in: src/types/cdl.ts:102
Number of derived facts.
fixpointReached
Section titled “fixpointReached”fixpointReached:
boolean
Defined in: src/types/cdl.ts:106
Whether fixpoint was reached.
iterations
Section titled “iterations”iterations:
number
Defined in: src/types/cdl.ts:104
Number of iterations performed.
totalFacts
Section titled “totalFacts”totalFacts:
number
Defined in: src/types/cdl.ts:100
Total facts after chaining.