Ejemplo n.º 1
0
 public override IntervalEnvironmentBase <TVar, TExpr, Interval, Rational> AssumeVariableIn
     (TVar var, Interval interval)
 {
     return(RefineVariable(var, interval));
 }