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