Type Alias: ArithmeticConstraintDto
@kortexya/reasoninglayer / ArithmeticConstraintDto
Type Alias: ArithmeticConstraintDto
Section titled “Type Alias: ArithmeticConstraintDto”ArithmeticConstraintDto = {
constraintType:"relation";left:ArithmeticExprDto;op:RelOpDto;right:ArithmeticExprDto; } | {constraintType:"domain";domain:number[];variable:string; }
Defined in: src/types/constraints.ts:38
An arithmetic constraint for the constraint solver.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ constraintType: "relation"; left: ArithmeticExprDto; op: RelOpDto; right: ArithmeticExprDto; }
constraintType
Section titled “constraintType”constraintType:
"relation"
left:
ArithmeticExprDto
Left-hand side expression.
op:
RelOpDto
Relational operator.
right:
ArithmeticExprDto
Right-hand side expression.
Type Literal
Section titled “Type Literal”{ constraintType: "domain"; domain: number[]; variable: string; }
constraintType
Section titled “constraintType”constraintType:
"domain"
domain
Section titled “domain”domain:
number[]
Domain values.
variable
Section titled “variable”variable:
string
Variable name.
Remarks
Section titled “Remarks”Tagged union discriminated by constraint_type.