tft_error_form.py 文件源码

def absexpr (self):
        if (self.stored_absexpr is not None): 
            return self.stored_absexpr 

        if (self.expr.hasLB() and self.expr.lb().value() >= Fraction(0, 1)): 
            self.stored_absexpr = self.expr 

        elif (isinstance(self.expr, tft_expr.UnaryExpr) and (self.expr.operator.label == "abs")): 
            self.stored_absexpr = self.expr 

        else: 
            self.stored_absexpr = IR.MakeUnaryExpr("abs", -1, self.expr, True)

        return self.stored_absexpr