• 홈
• AIMA
• Core
• Logic
• Propositional
• Algorithms
• DPLL

C# 클래스 AIMA.Core.Logic.Propositional.Algorithms.DPLL

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net 1 사용 예제들

공개 메소드들

메소드	설명
clausesWithNonTrueValues ( List clauseList, Model model ) : List
dpllSatisfiable ( Sentence s ) : bool
dpllSatisfiable ( Sentence s, Model m ) : bool
dpllSatisfiable ( String s ) : bool
findPureSymbolValuePair ( List clauseList, Model model, List symbols ) : SymbolValuePair

비공개 메소드들

메소드	설명
areAllClausesTrue ( Model model, List clauseList ) : bool
dpll ( List clauses, List symbols, Model model ) : bool
findUnitClause ( List clauseList, Model model, List symbols ) : SymbolValuePair
isClauseTrueInModel ( Sentence clause, Model model ) : bool
isEvenOneClauseFalse ( Model model, List clauseList ) : bool

메소드 상세