public class SortCollector extends DefaultVisitor
Constructor and Description |
---|
SortCollector() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Sort> |
getSorts() |
void |
visit(Term visited)
the entry method for the visitor pattern
|
subtreeEntered, subtreeLeft, visitSubtree
private java.util.Set<Sort> sorts