chc.invariants.CXVariable module

CHIF Variable; identified by name and sequence number.

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

Bases: chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord

property chifvartype: str

property denotation: CVariableDenotation

has_denotation() → bool[source]

property is_tmp: bool

property name: str

property seqnr: int

property symbol: CXSymbol