tft_expr.py 文件源码

def __init__ (self, val): 
        assert((type(val) is int) or (isinstance(val, Fraction)) or (type(val) is float))
        if (type(val) is float): 
            val = Fraction(val)

        if (sys.version_info.major == 2): 
            sys.exit("Error: FPTuner is currently based on Python3 only...") 
            super(ConstantExpr, self).__init__(False) 
        elif (sys.version_info.major == 3):
            super().__init__(False) 
        else:
            sys.exit("ERROR: not supported python version: " + str(sys.version_info)) 

        self.operands.append(val)
        self.lower_bound = val 
        self.upper_bound = val 
        self.gid        = -1