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

Наследование: AIMA.Core.Logic.Propositional.Parsing.AbstractPLVisitor

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

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

Метод	Описание
transform ( Sentence s ) : Sentence
visitBinarySentence ( BinarySentence bs, Object arg ) : Object
visitNotSentence ( UnarySentence us, Object arg ) : Object

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

Метод	Описание
distributeOrOverAnd ( BinarySentence bs ) : Sentence
step ( Sentence s ) : Sentence
transformBiConditionalSentence ( BinarySentence bs ) : Sentence
transformImpliedSentence ( BinarySentence bs ) : Sentence
transformNotSentence ( UnarySentence us ) : Sentence

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

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

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

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

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

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

public visitNotSentence ( UnarySentence us, Object arg ) : Object
us	AIMA.Core.Logic.Propositional.Parsing.Ast.UnarySentence
arg	Object
Результат	Object