chc.invariants.CXXpr module

Expression.

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

Bases: chc.invariants.CXXpr.CXXpr

property attr: str

property is_attr: bool

property xpr: chc.invariants.CXXpr.CXXpr

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

Bases: chc.invariants.CXXpr.CXXpr

property constant: CXConstant

property is_const: bool

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

Bases: chc.invariants.CXXpr.CXXpr

property is_op: bool

property operands: List[chc.invariants.CXXpr.CXXpr]

property operator: str

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

Bases: chc.invariants.CXXpr.CXXpr

property is_var: bool

property variable: CXVariable

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

Bases: chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord

property is_attr: bool

property is_const: bool

property is_op: bool

property is_var: bool

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

Bases: chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord

property xprs: List[chc.invariants.CXXpr.CXXpr]

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

Bases: chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord

property xprlists: List[chc.invariants.CXXpr.CXprList]