Type Alias: RuleConstraintDto
@kortexya/reasoninglayer / RuleConstraintDto
Type Alias: RuleConstraintDto
Section titled “Type Alias: RuleConstraintDto”RuleConstraintDto = {
sortId:string;type:"sort";varName:string; } | {featureName:string;type:"feature";value:object;varName:string; } | {type:"equal";var1:string;var2:string; }
Defined in: src/types/proof-engine.ts:12
A constraint within a rule clause.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ sortId: string; type: "sort"; varName: string; }
Type Literal
Section titled “Type Literal”{ featureName: string; type: "feature"; value: object; varName: string; }
featureName
Section titled “featureName”featureName:
string
type:
"feature"
value:
object
Feature value (opaque JSON)
varName
Section titled “varName”varName:
string
Type Literal
Section titled “Type Literal”{ type: "equal"; var1: string; var2: string; }
Remarks
Section titled “Remarks”Discriminated union on the type field. Variants:
sort— constrains a variable to a specific sortfeature— constrains a variable’s feature to a valueequal— constrains two variables to be equal