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

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

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

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

Private Methods

Méthode	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 méthode

public transform ( Sentence s ) : Sentence
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Résultat	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence

visitBinarySentence() public méthode

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

visitNotSentence() public méthode

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