public class BoundVarsVisitor extends DefaultVisitor
Modifier and Type | Field and Description |
---|---|
private ImmutableSet<QuantifiableVariable> |
bdVars |
Constructor and Description |
---|
BoundVarsVisitor()
creates a Visitor that collects all bound variables for the subterms
of the term it is called from.
|
Modifier and Type | Method and Description |
---|---|
ImmutableSet<QuantifiableVariable> |
getBoundVariables()
returns all the bound variables that have been stored
|
void |
visit(Sequent visited)
visits a sequent
|
void |
visit(Term visited)
only called by execPostOrder in Term.
|
subtreeEntered, subtreeLeft, visitSubtree
private ImmutableSet<QuantifiableVariable> bdVars
public BoundVarsVisitor()
public void visit(Term visited)
visited
- the Term to be visitedpublic void visit(Sequent visited)
public ImmutableSet<QuantifiableVariable> getBoundVariables()