public class OpCollector extends DefaultVisitor
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
Copyright © 2003-2019 The KeY-Project.