Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: ConstraintInputDto

@kortexya/reasoninglayer

@kortexya/reasoninglayer / ConstraintInputDto

Type Alias: ConstraintInputDto

Section titled “Type Alias: ConstraintInputDto”

ConstraintInputDto = { left: string; op: string; right: string; type: "Guard"; } | { type: "Equality"; var1: string; var2: string; } | { type: "Disequality"; var1: string; var2: string; } | { intervalA: string; intervalBTermId: string; relation: string; type: "Allen"; }

Defined in: src/types/inference.ts:452

Constraint input for backward chaining requests.

Remarks

Section titled “Remarks”

The constraints field on BackwardChainRequest is deprecated in favor of ConstrainedVariable embedded in the goal. However, it remains functional for backward compatibility.