C# Class AIMA.Core.Logic.FOL.VariableCollector

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

Public Methods

Method Description
VariableCollector ( ) : System
collectAllVariables ( Chain aChain ) : List
collectAllVariables ( Clause aClause ) : List
collectAllVariables ( Sentence sentence ) : List
collectAllVariables ( Term aTerm ) : List
visitConnectedSentence ( ConnectedSentence sentence, Object arg ) : Object
visitConstant ( Constant constant, Object arg ) : Object
visitFunction ( Function function, Object arg ) : Object
visitNotSentence ( NotSentence sentence, Object arg ) : Object
visitPredicate ( Predicate predicate, Object arg ) : Object
visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
visitTermEquality ( TermEquality equality, Object arg ) : Object
visitVariable ( Variable var, Object arg ) : Object

Method Details

VariableCollector() public method

public VariableCollector ( ) : System
return System

collectAllVariables() public method

public collectAllVariables ( Chain aChain ) : List
aChain AIMA.Core.Logic.FOL.KB.Data.Chain
return List

collectAllVariables() public method

public collectAllVariables ( Clause aClause ) : List
aClause Clause
return List

collectAllVariables() public method

public collectAllVariables ( Sentence sentence ) : List
sentence Sentence
return List

collectAllVariables() public method

public collectAllVariables ( Term aTerm ) : List
aTerm Term
return List

visitConnectedSentence() public method

public visitConnectedSentence ( ConnectedSentence sentence, Object arg ) : Object
sentence AIMA.Core.Logic.FOL.Parsing.AST.ConnectedSentence
arg Object
return Object

visitConstant() public method

public visitConstant ( Constant constant, Object arg ) : Object
constant AIMA.Core.Logic.FOL.Parsing.AST.Constant
arg Object
return Object

visitFunction() public method

public visitFunction ( Function function, Object arg ) : Object
function Function
arg Object
return Object

visitNotSentence() public method

public visitNotSentence ( NotSentence sentence, Object arg ) : Object
sentence AIMA.Core.Logic.FOL.Parsing.AST.NotSentence
arg Object
return Object

visitPredicate() public method

public visitPredicate ( Predicate predicate, Object arg ) : Object
predicate AIMA.Core.Logic.FOL.Parsing.AST.Predicate
arg Object
return Object

visitQuantifiedSentence() public method

public visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
sentence AIMA.Core.Logic.FOL.Parsing.AST.QuantifiedSentence
arg Object
return Object

visitTermEquality() public method

public visitTermEquality ( TermEquality equality, Object arg ) : Object
equality AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
arg Object
return Object

visitVariable() public method

public visitVariable ( Variable var, Object arg ) : Object
var AIMA.Core.Logic.FOL.Parsing.AST.Variable
arg Object
return Object