chc.invariants.CXSymbol module

Symbolic value; identified by name and sequence number.

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

Bases: chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord

property attrs: List[str]

property name: str

property seqnr: int