Interface: ProofLiteralDto
@kortexya/reasoninglayer / ProofLiteralDto
Interface: ProofLiteralDto
Section titled “Interface: ProofLiteralDto”Defined in: src/types/proof-engine.ts:508
One literal of a CNF clause submitted for proof export.
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 ProofExportRequest.numVars;
negated flips its polarity.
Example
Section titled “Example”// ¬x0const literal: ProofLiteralDto = { var: 0, negated: true };Properties
Section titled “Properties”negated?
Section titled “negated?”
optionalnegated?:boolean
Defined in: src/types/proof-engine.ts:515
true for a negated occurrence (¬var).
Default Value
Section titled “Default Value”false
var:
number
Defined in: src/types/proof-engine.ts:510
Zero-based variable index (must be < numVars).