AIMA.Core.Search.CSP.AC3Strategy.reduceDomains C# (CSharp) Метод

        public DomainRestoreInfo reduceDomains(Variable var, Object value, CSP csp)
        {
            DomainRestoreInfo result = new DomainRestoreInfo();
            Domain domain = csp.getDomain(var);
            if (domain.contains(value))
            {
                if (domain.Count > 1)
                {
                    FIFOQueue<Variable> queue = new FIFOQueue<Variable>();
                    queue.Add(var);
                    result.storeDomainFor(var, domain);
                    csp.setDomain(var, new Domain(new Object[] { value }));
                    reduceDomains(queue, csp, result);
                }
            }
            else
            {
                result.setEmptyDomainFound(true);
            }
            return result.compactify();
        }