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