public static class ClashFreeSubst.VariableCollectVisitor extends DefaultVisitor
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
public VariableCollectVisitor()
public void visit(Term t)
Visitor
t
- the Term to be visitedpublic ImmutableSet<QuantifiableVariable> vars()
Copyright © 2003-2019 The KeY-Project.