AIMA.Core.Search.CSP.ImprovedBacktrackingStrategy.solve C# (CSharp) Method

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