Interface: RuleClauseDto
@kortexya/reasoninglayer / RuleClauseDto
Interface: RuleClauseDto
Section titled “Interface: RuleClauseDto”Defined in: src/types/proof-engine.ts:37
A clause used as a rule head or body element.
Remarks
Section titled “Remarks”Constraints define the variables and their bindings within the clause.
Properties
Section titled “Properties”constraints?
Section titled “constraints?”
optionalconstraints?:RuleConstraintDto[]
Defined in: src/types/proof-engine.ts:39
Constraints on variables in this clause.