Interface: SatLiteralDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Sat / SatLiteralDto

Interface: SatLiteralDto

Defined in: src/types/sat.ts:17

A propositional literal in a CNF clause.

Remarks

Plain JSON object — no tagged value serialization is involved. var is a zero-based variable index that must be strictly less than SatSolveRequest.numVars; negated flips its polarity.

Example

// ¬x0
const literal: SatLiteralDto = { var: 0, negated: true };

Properties

negated

negated: boolean

Defined in: src/types/sat.ts:21

true if this literal negates the variable.

---

var

var: number

Defined in: src/types/sat.ts:19

Zero-based variable index (must be < numVars).