AIMA.Core.Logic.Propositional.Algorithms.DPLL.dpllSatisfiable C# (CSharp) Метод

        public bool dpllSatisfiable(Sentence s, Model m)
        {
            List<Sentence> clauses = new CNFClauseGatherer()
                    .getClausesFrom(new CNFTransformer().transform(s));
            List<Symbol> symbols = new SymbolCollector()
                    .getSymbolsIn(s);
            // System.Console.WriteLine(" numberOfSymbols = " + symbols.Count);
            return dpll(clauses, symbols, m);
        }