| java.lang.Object
 de.uka.ilkd.key.logic.Visitor
de.uka.ilkd.key.logic.BoundVarsVisitor
| BoundVarsVisitor | | public class BoundVarsVisitor extends Visitor (Code) | | Visitor traversing a term and collecting all variables that occur bound.
The visitor implements also a continuation on sequents, traversing all of
the formulas occuring in the sequent.
|
| Constructor Summary | |
| public | BoundVarsVisitor()
creates a Visitor that collects all bound variables for the subterms
of the term it is called from. |
| BoundVarsVisitor | | public BoundVarsVisitor()(Code) | | creates a Visitor that collects all bound variables for the subterms
of the term it is called from.
|
| getBoundVariables | | public SetOfQuantifiableVariable getBoundVariables()(Code) | | returns all the bound variables that have been stored
|
| visit | | public void visit(Term visited)(Code) | | only called by execPostOrder in Term.
|
|
|