public IntervalEnvironmentBase <TVar, TExpr, TInterval, TNumeric> AssumeFalse(TExpr guard) { return(Assumer.AssumeEqualToZero(Decoder.UnderlyingVariable(guard), this)); }
public IntervalEnvironmentBase <TVar, TExpr, TInterval, TNumeric> AssumeLessEqualThan(TExpr left, TExpr right) { return(Assumer.AssumeLessEqualThan(left, right, this)); }
public IntervalEnvironmentBase <TVar, TExpr, TInterval, TNumeric> AssumeTrue(TExpr guard) { Assumer.AssumeNotEqualToZero(Decoder.UnderlyingVariable(guard), this); return(new IntervalTestVisitor(Decoder).VisitTrue(guard, this)); }