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

Inheritance: BasicTraverser

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

Méthodes publiques

Méthode	Description
CNFClauseGatherer ( ) : System
getClausesFrom ( Sentence sentence ) : List
visitBinarySentence ( BinarySentence bs, Object args ) : Object

Private Methods

Méthode	Description
processSubTerm ( Sentence s, List soFar ) : List

Method Details

CNFClauseGatherer() public méthode

public CNFClauseGatherer ( ) : System
Résultat	System

getClausesFrom() public méthode

public getClausesFrom ( Sentence sentence ) : List
sentence	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Résultat	List

visitBinarySentence() public méthode

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