Method | Description | |
---|---|---|
VariableCollector ( ) : System | ||
collectAllVariables ( |
||
collectAllVariables ( Clause aClause ) : List |
||
collectAllVariables ( Sentence sentence ) : List |
||
collectAllVariables ( Term aTerm ) : List |
||
visitConnectedSentence ( |
||
visitConstant ( |
||
visitFunction ( Function function, Object arg ) : Object | ||
visitNotSentence ( |
||
visitPredicate ( |
||
visitQuantifiedSentence ( |
||
visitTermEquality ( |
||
visitVariable ( |
public collectAllVariables ( |
||
aChain | ||
return | List |
public collectAllVariables ( Clause aClause ) : List |
||
aClause | Clause | |
return | List |
public collectAllVariables ( Sentence sentence ) : List |
||
sentence | Sentence | |
return | List |
public collectAllVariables ( Term aTerm ) : List |
||
aTerm | Term | |
return | List |
public visitConnectedSentence ( |
||
sentence | ||
arg | Object | |
return | Object |
public visitConstant ( |
||
constant | ||
arg | Object | |
return | Object |
public visitFunction ( Function function, Object arg ) : Object | ||
function | Function | |
arg | Object | |
return | Object |
public visitNotSentence ( |
||
sentence | ||
arg | Object | |
return | Object |
public visitPredicate ( |
||
predicate | ||
arg | Object | |
return | Object |
public visitQuantifiedSentence ( |
||
sentence | ||
arg | Object | |
return | Object |
public visitTermEquality ( |
||
equality | ||
arg | Object | |
return | Object |
public visitVariable ( |
||
var | ||
arg | Object | |
return | Object |