Interface: MaterializationSummaryDto
@kortexya/reasoninglayer / Scenarios / MaterializationSummaryDto
Interface: MaterializationSummaryDto
Defined in: src/types/scenarios.ts:36
Summary of materialization results.
Properties
beliefsCreated
beliefsCreated:
number
Defined in: src/types/scenarios.ts:38
Number of belief Psi-terms created.
constraintsCreated
constraintsCreated:
number
Defined in: src/types/scenarios.ts:40
Number of generic constraint terms created.
curriculumStagesCreated
curriculumStagesCreated:
number
Defined in: src/types/scenarios.ts:42
Number of curriculum stage terms created.
goalCreated
goalCreated:
boolean
Defined in: src/types/scenarios.ts:44
Whether a goal was created.
groundingsCreated
groundingsCreated:
number
Defined in: src/types/scenarios.ts:46
Number of grounding annotation terms created.
guardConstraintsCreated
guardConstraintsCreated:
number
Defined in: src/types/scenarios.ts:48
Number of guard constraint terms created.
rulesCreated
rulesCreated:
number
Defined in: src/types/scenarios.ts:50
Number of rules registered for inference.
sortNames
sortNames:
string[]
Defined in: src/types/scenarios.ts:52
Names of sorts created.
sortsCreated
sortsCreated:
number
Defined in: src/types/scenarios.ts:54
Number of sorts created in the hierarchy.