| java.lang.Object
 de.uka.ilkd.key.logic.Visitor
de.uka.ilkd.key.logic.LVRCollector
| LVRCollector | | public class LVRCollector extends Visitor (Code) | | This class is used to collect all appearing variables that can
represent logic variables in a term. Duplicates are not removed
because the use of persistent datastructure and up to now we just
have a SetAsList-implementation causing to
have O(sqr(n)) if it would used.
|
| LVRCollector | | public LVRCollector()(Code) | | creates the Variable collector
|
| varIterator | | public IteratorOfQuantifiableVariable varIterator()(Code) | | iterator of the found Variables |
| visit | | public void visit(Term t)(Code) | | is called by the execPostOrder-method of a term
Parameters:
t - the Term to checked if it is a Variable and if true theVariable is added to the list of found Variables |
|
|