Interface: Lit
@kortexya/reasoninglayer / Solver / Lit
Interface: Lit
Defined in: src/types/solver.ts:184
A literal over a flat decision-variable index, with a required polarity.
Remarks
Wire shape (snake_case): { value, var }.
Properties
value
value:
boolean
Defined in: src/types/solver.ts:186
The required polarity (true ⇒ the var is set, false ⇒ unset).
var
var:
number
Defined in: src/types/solver.ts:188
The flat decision-variable index.