public override IntervalEnvironmentBase <TVar, TExpr, Interval, Rational> AssumeVariableIn
(TVar var, Interval interval)
{
return(RefineVariable(var, interval));
}
public override IntervalEnvironmentBase <TVar, TExpr, Interval, Rational> AssumeVariableIn
(TVar var, Interval interval)
{
return(RefineVariable(var, interval));
}