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

public dpllSatisfiable ( Sentence s ) : bool
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Результат	bool

        public bool dpllSatisfiable(Sentence s)
        {

            return dpllSatisfiable(s, new Model());
        }

Same methods

DPLL::dpllSatisfiable ( Sentence s, Model m ) : bool
DPLL::dpllSatisfiable ( String s ) : bool

DPLL