public class PredicateCollector extends java.lang.Object implements FOLVisitor
Constructor and Description |
---|
PredicateCollector() |
Modifier and Type | Method and Description |
---|---|
java.util.List<Predicate> |
getPredicates(Sentence s) |
java.lang.Object |
visitConnectedSentence(ConnectedSentence sentence,
java.lang.Object arg) |
java.lang.Object |
visitConstant(Constant constant,
java.lang.Object arg) |
java.lang.Object |
visitFunction(Function function,
java.lang.Object arg) |
java.lang.Object |
visitNotSentence(NotSentence sentence,
java.lang.Object arg) |
java.lang.Object |
visitPredicate(Predicate p,
java.lang.Object arg) |
java.lang.Object |
visitQuantifiedSentence(QuantifiedSentence sentence,
java.lang.Object arg) |
java.lang.Object |
visitTermEquality(TermEquality equality,
java.lang.Object arg) |
java.lang.Object |
visitVariable(Variable variable,
java.lang.Object arg) |
public java.lang.Object visitPredicate(Predicate p, java.lang.Object arg)
visitPredicate
in interface FOLVisitor
public java.lang.Object visitTermEquality(TermEquality equality, java.lang.Object arg)
visitTermEquality
in interface FOLVisitor
public java.lang.Object visitVariable(Variable variable, java.lang.Object arg)
visitVariable
in interface FOLVisitor
public java.lang.Object visitConstant(Constant constant, java.lang.Object arg)
visitConstant
in interface FOLVisitor
public java.lang.Object visitFunction(Function function, java.lang.Object arg)
visitFunction
in interface FOLVisitor
public java.lang.Object visitNotSentence(NotSentence sentence, java.lang.Object arg)
visitNotSentence
in interface FOLVisitor
public java.lang.Object visitConnectedSentence(ConnectedSentence sentence, java.lang.Object arg)
visitConnectedSentence
in interface FOLVisitor
public java.lang.Object visitQuantifiedSentence(QuantifiedSentence sentence, java.lang.Object arg)
visitQuantifiedSentence
in interface FOLVisitor