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