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

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode	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

Méthode	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 méthode

public clausesWithNonTrueValues ( List clauseList, Model model ) : List
clauseList	List
model	Model
Résultat	List

dpllSatisfiable() public méthode

public dpllSatisfiable ( Sentence s ) : bool
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Résultat	bool

dpllSatisfiable() public méthode

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

dpllSatisfiable() public méthode

public dpllSatisfiable ( String s ) : bool
s	String
Résultat	bool

findPureSymbolValuePair() public méthode

public findPureSymbolValuePair ( List clauseList, Model model, List symbols ) : SymbolValuePair
clauseList	List
model	Model
symbols	List
Résultat	SymbolValuePair