de.uka.ilkd.key.logic

Class ClashFreeSubst.VariableCollectVisitor

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

de.uka.ilkd.key.logic.ClashFreeSubst.VariableCollectVisitor

All Implemented Interfaces:

Visitor

Enclosing class:

ClashFreeSubst

public static class ClashFreeSubst.VariableCollectVisitor
extends DefaultVisitor

A Visitor class to collect all (not just the free) variables occurring in a term.

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableSet<QuantifiableVariable>	vars the collected variables

Constructor Summary

Constructors

Constructor and Description
VariableCollectVisitor() creates the Variable collector

Method Summary

Modifier and Type	Method and Description
ImmutableSet<QuantifiableVariable>	vars() the set of all occurring variables.
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

vars

private ImmutableSet<QuantifiableVariable> vars

the collected variables

Constructor Detail

VariableCollectVisitor

public VariableCollectVisitor()

creates the Variable 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

vars

public ImmutableSet<QuantifiableVariable> vars()

the set of all occurring variables.