Type Alias: TypedConstraint

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Solver / TypedConstraint

Type Alias: TypedConstraint

TypedConstraint = { max?: number | null; min: number; type: "global_cardinality"; vars: number[]; } | { lits: Lit[]; type: "forbid"; } | { type: "pin"; var: number; } | { available: boolean[]; days: number; rules: TemporalRule[]; shifts: number; type: "regular"; vars: number[]; } | { type: "all_different"; vars: number[]; } | { expr: BoolExpr; type: "arithmetic"; }

Defined in: src/types/solver.ts:230

A typed constraint over the flat decision variables.

Remarks

Tagged discriminated union keyed on type. Wire format (snake_case) mirrors this shape verbatim; the regular variant’s rules use TemporalRule and the forbid/arithmetic variants use Lit / BoolExpr.