Skip to content

Interface: MonadicFixpointResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / CDL / MonadicFixpointResponse

Interface: MonadicFixpointResponse

Defined in: src/types/cdl.ts:174

Response for monadic fixpoint.

Properties

derivedCount

derivedCount: number

Defined in: src/types/cdl.ts:184

Number of derived facts.


elapsedMs

elapsedMs: number

Defined in: src/types/cdl.ts:188

Processing time in milliseconds.


facts

facts: MonadicFactDto[]

Defined in: src/types/cdl.ts:176

Facts with monadic metadata.


fixpointReached

fixpointReached: boolean

Defined in: src/types/cdl.ts:180

Whether fixpoint was reached.


givenCount

givenCount: number

Defined in: src/types/cdl.ts:182

Number of given facts.


iterations

iterations: number

Defined in: src/types/cdl.ts:178

Number of iterations performed.


maxDepth

maxDepth: number

Defined in: src/types/cdl.ts:186

Maximum derivation depth.