C# Class AIMA.Core.Logic.Propositional.Algorithms.DPLL

Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method	Description
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

Private Methods

Method	Description
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

Method Details

clausesWithNonTrueValues() public method

public clausesWithNonTrueValues ( List clauseList, Model model ) : List
clauseList	List
model	Model
return	List

dpllSatisfiable() public method

public dpllSatisfiable ( Sentence s ) : bool
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return	bool

dpllSatisfiable() public method

public dpllSatisfiable ( Sentence s, Model m ) : bool
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
m	Model
return	bool

dpllSatisfiable() public method

public dpllSatisfiable ( String s ) : bool
s	String
return	bool

findPureSymbolValuePair() public method

public findPureSymbolValuePair ( List clauseList, Model model, List symbols ) : SymbolValuePair
clauseList	List
model	Model
symbols	List
return	SymbolValuePair