de.uka.ilkd.key.logic

Class OpCollector

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

de.uka.ilkd.key.logic.OpCollector

All Implemented Interfaces:

Visitor

public class OpCollector
extends DefaultVisitor

Collects all operators occurring in the traversed term.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashSet<Operator>	ops the found operators

Constructor Summary

Constructors

Constructor and Description
OpCollector() creates the Op collector

Method Summary

Modifier and Type	Method and Description
boolean	contains(Operator op)
java.util.Set<Operator>	ops()
void	visit(Term t) the entry method for the visitor pattern

Methods inherited from class de.uka.ilkd.key.logic.DefaultVisitor

subtreeEntered, subtreeLeft, visitSubtree

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ops

private java.util.HashSet<Operator> ops

the found operators

Constructor Detail

OpCollector

public OpCollector()

creates the Op collector

Method Detail

visit

public void visit(Term t)

Description copied from interface: Visitor

the entry method for the visitor pattern

Parameters:

t - the Term to be visited

contains

public boolean contains(Operator op)

ops

public java.util.Set<Operator> ops()