public Assignment solve(CSP csp)
{
if (inferenceStrategy == Inference.AC3)
{
DomainRestoreInfo info = new AC3Strategy().reduceDomains(csp);
if (!info.isEmpty())
{
fireStateChanged(csp);
if (info.isEmptyDomainFound())
return null;
}
}
return super.solve(csp);
}