public static class ClashFreeSubst.VariableCollectVisitor extends DefaultVisitor
Modifier and Type | Field and Description |
---|---|
private ImmutableSet<QuantifiableVariable> |
vars
the collected variables
|
Constructor and Description |
---|
VariableCollectVisitor()
creates the Variable collector
|
Modifier and Type | Method and Description |
---|---|
ImmutableSet<QuantifiableVariable> |
vars()
the set of all occurring variables.
|
void |
visit(Term t)
the entry method for the visitor pattern
|
subtreeEntered, subtreeLeft, visitSubtree
private ImmutableSet<QuantifiableVariable> vars
public VariableCollectVisitor()
public void visit(Term t)
Visitor
t
- the Term to be visitedpublic ImmutableSet<QuantifiableVariable> vars()