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

Inheritance: BasicTraverser

Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

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

Private Methods

Method	Description
processSubTerm ( Sentence s, List soFar ) : List

Method Details

CNFClauseGatherer() public method

public CNFClauseGatherer ( ) : System
return	System

getClausesFrom() public method

public getClausesFrom ( Sentence sentence ) : List
sentence	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return	List

visitBinarySentence() public method

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