Type Alias: RuleConstraintDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / ProofEngine / RuleConstraintDto

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.

Type Declaration

{ sortId: string; type: "sort"; varName: string; }

sortId

sortId: string

type

type: "sort"

varName

varName: string

{ featureName: string; type: "feature"; value: object; varName: string; }

featureName

featureName: string

type

type: "feature"

value

value: object

Feature value (opaque JSON)

varName

varName: string

{ type: "equal"; var1: string; var2: string; }

type

type: "equal"

var1

var1: string

var2

var2: string

Remarks

Discriminated union on the type field. Variants:

• sort — constrains a variable to a specific sort
• feature — constrains a variable’s feature to a value
• equal — constrains two variables to be equal