chc.invariants.CFunXprDictionary module

Dictionary of indexed expressions for an individual function.

class chc.invariants.CFunXprDictionary.CFunXprDictionary(vd: CFunVarDictionary, xnode: xml.etree.ElementTree.Element)[source]

Bases: object

Indexed analysis expressions.

get_numerical(ix: int) → chc.invariants.CXNumerical.CXNumerical[source]

get_numerical_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_symbol(ix: int) → chc.invariants.CXSymbol.CXSymbol[source]

get_symbol_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_variable(ix: int) → chc.invariants.CXVariable.CXVariable[source]

get_variable_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_xcst(ix: int) → chc.invariants.CXConstant.CXConstant[source]

get_xcst_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_xpr(ix: int) → chc.invariants.CXXpr.CXXpr[source]

get_xpr_list(ix: int) → chc.invariants.CXXpr.CXprList[source]

get_xpr_list_list(ix: int) → chc.invariants.CXXpr.CXprListList[source]

get_xpr_list_list_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_xpr_list_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_xpr_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

initialize(xnode: xml.etree.ElementTree.Element, force: bool = False) → None[source]

objectmap_to_string(name: str) → str[source]

property vd: CFunVarDictionary