public class OpCollector extends DefaultVisitor
Modifier and Type | Field and Description |
---|---|
private java.util.HashSet<Operator> |
ops
the found operators
|
Constructor and Description |
---|
OpCollector()
creates the Op collector
|
Modifier and Type | Method and Description |
---|---|
boolean |
contains(Operator op) |
java.util.Set<Operator> |
ops() |
void |
visit(Term t)
the entry method for the visitor pattern
|
subtreeEntered, subtreeLeft, visitSubtree
private java.util.HashSet<Operator> ops