/** * Starts with a constraint propagation if AC-3 is enabled and then calls * the super class implementation. */ 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); }
/** * Starts with a constraint propagation if AC-3 is enabled and then calls * the super class implementation. */ 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)); }