C# Класс AIMA.Core.Logic.Propositional.Algorithms.DPLL

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод	Описание
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

Описание методов

clausesWithNonTrueValues() публичный Метод

public clausesWithNonTrueValues ( List clauseList, Model model ) : List
clauseList	List
model	Model
Результат	List

dpllSatisfiable() публичный Метод

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

dpllSatisfiable() публичный Метод

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

dpllSatisfiable() публичный Метод

public dpllSatisfiable ( String s ) : bool
s	String
Результат	bool

findPureSymbolValuePair() публичный Метод

public findPureSymbolValuePair ( List clauseList, Model model, List symbols ) : SymbolValuePair
clauseList	List
model	Model
symbols	List
Результат	SymbolValuePair