Interface: ProofLiteralDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / ProofEngine / ProofLiteralDto

Interface: ProofLiteralDto

Defined in: src/types/proof-engine.ts:508

One literal of a CNF clause submitted for proof export.

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

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

Properties

negated?

optional negated: boolean

Defined in: src/types/proof-engine.ts:515

true for a negated occurrence (¬var).

Default Value

false

---

var

var: number

Defined in: src/types/proof-engine.ts:510

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