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