Type Alias: ConstraintInputDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / ConstraintInputDto

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:112

Constraint input for backward chaining requests.

Remarks

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