| java.lang.Object de.uka.ilkd.key.logic.Visitor de.uka.ilkd.key.logic.MVCollector
MVCollector | public class MVCollector extends Visitor (Code) | | This class is used to collect all appearing metavariables in a
term. Duplicates are not removed becaues the use of persistent
datastructure and up to now we just have a SetAsList-implementaion
causing to have O(sqr(n)) if it would used.
|
Method Summary | |
public IteratorOfMetavariable | mv() | public void | visit(Term t) |
MVCollector | public MVCollector()(Code) | | creates the metavariable collector
|
mv | public IteratorOfMetavariable mv()(Code) | | iterator of the found metavariables |
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 Metavariable and if true theMetavariable is added to the list of found Metavariables |
|
|