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

        protected override DomainRestoreInfo inference(Variable var, Assignment assignment,
                CSP csp)
        {
            switch (inferenceStrategy)
            {
                case FORWARD_CHECKING:
                    return doForwardChecking(var, assignment, csp);
                case AC3:
                    return new AC3Strategy().reduceDomains(var, assignment
                            .getAssignment(var), csp);
                default:
                    return new DomainRestoreInfo().compactify();
            }
        }