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