import os import xml.etree.ElementTree as ET 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')
import os import xml.etree.ElementTree as ET 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")