Interface: MonadicFixpointResponse
@kortexya/reasoninglayer / MonadicFixpointResponse
Interface: MonadicFixpointResponse
Section titled “Interface: MonadicFixpointResponse”Defined in: src/types/cdl.ts:184
Response for monadic fixpoint.
Properties
Section titled “Properties”derivedCount
Section titled “derivedCount”derivedCount:
number
Defined in: src/types/cdl.ts:194
Number of derived facts.
elapsedMs
Section titled “elapsedMs”elapsedMs:
number
Defined in: src/types/cdl.ts:198
Processing time in milliseconds.
facts:
MonadicFactDto[]
Defined in: src/types/cdl.ts:186
Facts with monadic metadata.
fixpointReached
Section titled “fixpointReached”fixpointReached:
boolean
Defined in: src/types/cdl.ts:190
Whether fixpoint was reached.
givenCount
Section titled “givenCount”givenCount:
number
Defined in: src/types/cdl.ts:192
Number of given facts.
iterations
Section titled “iterations”iterations:
number
Defined in: src/types/cdl.ts:188
Number of iterations performed.
maxDepth
Section titled “maxDepth”maxDepth:
number
Defined in: src/types/cdl.ts:196
Maximum derivation depth.