tft_expr.py 文件源码

def setUB (self, ub): 
        assert(isinstance(ub, ConstantExpr)) 
        if (self.operator.label in ["abs", "sqrt"]): 
            assert(ub.value() >= Fraction(0, 1)) 
        self.upper_bound = ub