C# Класс AIMA.Core.Logic.Propositional.Visitors.CNFClauseGatherer

Наследование: BasicTraverser

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

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

Метод	Описание
CNFClauseGatherer ( ) : System
getClausesFrom ( Sentence sentence ) : List
visitBinarySentence ( BinarySentence bs, Object args ) : Object

Приватные методы

Метод	Описание
processSubTerm ( Sentence s, List soFar ) : List

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

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

public CNFClauseGatherer ( ) : System
Результат	System

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

public getClausesFrom ( Sentence sentence ) : List
sentence	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Результат	List

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

public visitBinarySentence ( BinarySentence bs, Object args ) : Object
bs	AIMA.Core.Logic.Propositional.Parsing.Ast.BinarySentence
args	Object
Результат	Object