Interface: EqLiteralDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Smt / EqLiteralDto

Interface: EqLiteralDto

Defined in: src/types/smt.ts:67

A literal over an equality atom, used inside Boolean clauses.

Remarks

Plain JSON object — no tagged value serialization is involved. eqId refers to an EqualityAtomDto.id declared in the same request.

Example

// ¬(atom #1)
const literal: EqLiteralDto = { eqId: 1, negated: true };

Properties

eqId

eqId: number

Defined in: src/types/smt.ts:69

The equality atom (by its id).

---

negated?

optional negated: boolean

Defined in: src/types/smt.ts:71

true → assert the equality does NOT hold; false/omitted → assert it holds.