tft_expr.py 文件源码

def concEval (self, vmap = {}): 
        assert(self in vmap.keys()) 
        retv = vmap[self] 
        assert((type(retv) is int) or (type(retv) is float) or (isinstance(retv, Fraction))) 
        return retv