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));
}
