protected override Pair <Rational, bool> Default(TExpr expr, Dummy input) { if (Decoder.IsNull(expr)) { return(Success(Rational.Zero)); } return(Failure); }
protected override Pair <Rational, bool> VisitInt32(TExpr expr, Dummy input) { int value; if (Decoder.TryValueOf(expr, ExpressionType.Int32, out value)) { return(Success(Rational.For(value))); } return(Failure); }
public void Add(TExpr e) { Add(decoder.UnderlyingVariable(e)); }
protected override Pair <Rational, bool> VisitBool(TExpr expr, Dummy input) { return(Failure); }
public IntervalEnvironmentBase <TVar, TExpr, TInterval, TNumeric> VisitFalse(TExpr guard, IntervalEnvironmentBase <TVar, TExpr, TInterval, TNumeric> data) { return(false_visitor.Visit(guard, data)); }