import chc.util.fileutil as UF import chc.util.IndexedTable as IT import chc.invariants.CXpr as CX xcst_constructors = { 'ss': lambda x: CX.CXCSymSet(*x), 'ic': lambda x: CX.CXIntConst(*x), 'bc': lambda x: CX.CXCBoolConst(*x), 'r': lambda x: CX.CXRandom(*x), 'ui': lambda x: CX.CXUnknownInt(*x), 'us': lambda x: CX.CXUnknownSet(*x) } xpr_constructors = { 'v': lambda x: CX.CXVar(*x), 'c': lambda x: CX.CXConst(*x), 'x': lambda x: CX.CXOp(*x), 'a': lambda x: CX.CXAttr(*x) } class CFunXprDictionary(object): '''Indexed analysis expressions.''' def __init__(self, vd): self.vd = vd self.numerical_table = IT.IndexedTable('numerical-table') self.symbol_table = IT.IndexedTable('symbol-table') self.variable_table = IT.IndexedTable('variable-table') self.xcst_table = IT.IndexedTable('xcst-table') self.xpr_table = IT.IndexedTable('xpr-table')
import chc.util.fileutil as UF import chc.util.IndexedTable as IT import chc.invariants.CXpr as CX xcst_constructors = { "ss": lambda x: CX.CXCSymSet(*x), "ic": lambda x: CX.CXIntConst(*x), "bc": lambda x: CX.CXCBoolConst(*x), "r": lambda x: CX.CXRandom(*x), "ui": lambda x: CX.CXUnknownInt(*x), "us": lambda x: CX.CXUnknownSet(*x), } xpr_constructors = { "v": lambda x: CX.CXVar(*x), "c": lambda x: CX.CXConst(*x), "x": lambda x: CX.CXOp(*x), "a": lambda x: CX.CXAttr(*x), } class CFunXprDictionary(object): """Indexed analysis expressions.""" def __init__(self, vd): self.vd = vd self.numerical_table = IT.IndexedTable("numerical-table") self.symbol_table = IT.IndexedTable("symbol-table") self.variable_table = IT.IndexedTable("variable-table") self.xcst_table = IT.IndexedTable("xcst-table") self.xpr_table = IT.IndexedTable("xpr-table")