Type Alias: BoolExpr

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Solver / BoolExpr

Type Alias: BoolExpr

BoolExpr = { type: "lit"; value: boolean; var: number; } | { type: "const"; value: boolean; } | { expr: BoolExpr; type: "not"; } | { exprs: BoolExpr[]; type: "and"; } | { exprs: BoolExpr[]; type: "or"; } | { left: BoolExpr; right: BoolExpr; type: "implies"; } | { left: BoolExpr; right: BoolExpr; type: "iff"; } | { left: BoolExpr; right: BoolExpr; type: "xor"; } | { left: LinExpr; op: RelOp; right: LinExpr; type: "compare"; }

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

A boolean-valued expression over flat decision-variable indices.

Remarks

Tagged discriminated union keyed on type. Wire format (snake_case) mirrors this shape verbatim.