tft_expr.py 文件源码

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