Interface: SatLiteralDto
@kortexya/reasoninglayer / SatLiteralDto
Interface: SatLiteralDto
Section titled “Interface: SatLiteralDto”Defined in: src/types/sat.ts:17
A propositional literal in a CNF clause.
Remarks
Section titled “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
Section titled “Example”// ¬x0const literal: SatLiteralDto = { var: 0, negated: true };Properties
Section titled “Properties”negated
Section titled “negated”negated:
boolean
Defined in: src/types/sat.ts:21
true if this literal negates the variable.
var:
number
Defined in: src/types/sat.ts:19
Zero-based variable index (must be < numVars).