public override void RefuteWrapper(Solver solver)
{
try {
Refute(solver);
} catch (ApplicationException /*e*/) {
// TODO(user): Catch only fail exceptions.
solver.ShouldFail();
}
}
/**
* This methods wraps the calls to next() and catches fail exceptions.
*/
public override void RunWrapper(Solver solver)
{
try {
Run(solver);
} catch (ApplicationException /*e*/) {
// TODO(user): Check that this is indeed a fail. Try implementing
// custom exceptions (hard).
solver.ShouldFail();
}
}
/**
* This methods wraps the calls to Apply() and catches fail exceptions.
* It currently catches all application exceptions.
*/
public override void ApplyWrapper(Solver solver)
{
try
{
Apply(solver);
}
catch (ApplicationException e)
{
// TODO(user): Catch only fail exceptions.
solver.ShouldFail();
}
}
/**
* This methods wraps the calls to next() and catches fail exceptions.
*/
public override void RunWrapper(Solver solver)
{
try
{
Run(solver);
}
catch (ApplicationException e)
{
// TODO(lperron): Check that this is indeed a fail. Try implementing
// custom exceptions (hard).
solver.ShouldFail();
}
}
public override void RefuteWrapper(Solver solver)
{
try
{
Refute(solver);
}
catch (ApplicationException e)
{
// TODO(user): Catch only fail exceptions.
solver.ShouldFail();
}
}