C# Class AIMA.Core.Logic.Propositional.Visitors.CNFTransformer

Inheritance: AIMA.Core.Logic.Propositional.Parsing.AbstractPLVisitor
Datei anzeigen Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method Description
transform ( Sentence s ) : Sentence
visitBinarySentence ( BinarySentence bs, Object arg ) : Object
visitNotSentence ( UnarySentence us, Object arg ) : Object

Private Methods

Method Description
distributeOrOverAnd ( BinarySentence bs ) : Sentence
step ( Sentence s ) : Sentence
transformBiConditionalSentence ( BinarySentence bs ) : Sentence
transformImpliedSentence ( BinarySentence bs ) : Sentence
transformNotSentence ( UnarySentence us ) : Sentence

Method Details

transform() public method

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

visitBinarySentence() public method

public visitBinarySentence ( BinarySentence bs, Object arg ) : Object
bs AIMA.Core.Logic.Propositional.Parsing.Ast.BinarySentence
arg Object
return Object

visitNotSentence() public method

public visitNotSentence ( UnarySentence us, Object arg ) : Object
us AIMA.Core.Logic.Propositional.Parsing.Ast.UnarySentence
arg Object
return Object