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

Inheritance: AIMA.Core.Logic.Propositional.Parsing.AbstractPLVisitor

Show file 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