chc.invariants.CXNumerical module

Numerical value; corresponds to chlib:numerical_t.

class chc.invariants.CXNumerical.CXNumerical(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord

equals(other: chc.invariants.CXNumerical.CXNumerical) → bool[source]

property value: int