public IllinoisSolver(AbstractExpr expr, double ignore)
{
// Precondition: No formal sqrt in expr.
var countingVisitor = new VariableCountingVisitor();
expr.Accept(countingVisitor, Ig.nore);
bool singleVariable = countingVisitor.Variables().Count() == 1;
if (singleVariable) {
_variable = countingVisitor.Variables().First();
_expr = expr;
_isSolvable = true;
}
}
public CompoundSolver(AbstractExpr expr, double delta)
{
_illinois = new IllinoisSolver(expr, delta);
_iteration = new IterationSolver(expr, delta);
}
