Interface: EqLiteralDto
@kortexya/reasoninglayer / EqLiteralDto
Interface: EqLiteralDto
Section titled “Interface: EqLiteralDto”Defined in: src/types/smt.ts:67
A literal over an equality atom, used inside Boolean clauses.
Remarks
Section titled “Remarks”Plain JSON object — no tagged value serialization is involved. eqId refers to an EqualityAtomDto.id declared in the same request.
Example
Section titled “Example”// ¬(atom #1)const literal: EqLiteralDto = { eqId: 1, negated: true };Properties
Section titled “Properties”eqId:
number
Defined in: src/types/smt.ts:69
The equality atom (by its id).
negated?
Section titled “negated?”
optionalnegated?:boolean
Defined in: src/types/smt.ts:71
true → assert the equality does NOT hold; false/omitted → assert it holds.