de.uni_freiburg.informatik.ultimate.logic

Class NonRecursive.TermWalker

java.lang.Object

de.uni_freiburg.informatik.ultimate.logic.NonRecursive.TermWalker

All Implemented Interfaces:

NonRecursive.Walker

Direct Known Subclasses:

ComputeFreeVariables

Enclosing class:

NonRecursive

public abstract static class NonRecursive.TermWalker
extends java.lang.Object
implements NonRecursive.Walker

Walker that walks non-recursively over terms. This dispatches the walk function. You still have to provide the code that chooses which sub terms to walk.

Author:

hoenicke

Field Summary

Fields

Modifier and Type	Field and Description
protected Term	mTerm

Constructor Summary

Constructors

Constructor and Description
TermWalker(Term term)

Method Summary

Modifier and Type	Method and Description
Term	getTerm()
java.lang.String	toString()
void	walk(NonRecursive walker) Do one step of the recursive algorithm.
abstract void	walk(NonRecursive walker, AnnotatedTerm term)
abstract void	walk(NonRecursive walker, ApplicationTerm term)
abstract void	walk(NonRecursive walker, ConstantTerm term)
abstract void	walk(NonRecursive walker, LetTerm term)
abstract void	walk(NonRecursive walker, QuantifiedFormula term)
abstract void	walk(NonRecursive walker, TermVariable term)

Methods inherited from class java.lang.Object

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

Field Detail

mTerm

protected Term mTerm

Constructor Detail

TermWalker

public TermWalker(Term term)

Method Detail

walk

public void walk(NonRecursive walker)

Description copied from interface: NonRecursive.Walker

Do one step of the recursive algorithm. This may enqueue new walkers that do the remaining steps.

Specified by:

walk in interface NonRecursive.Walker

Parameters:

walker - The non recursive engine where new walkers can be enqueued.

walk

public abstract void walk(NonRecursive walker,
                          ConstantTerm term)

walk

public abstract void walk(NonRecursive walker,
                          AnnotatedTerm term)

walk

public abstract void walk(NonRecursive walker,
                          ApplicationTerm term)

walk

public abstract void walk(NonRecursive walker,
                          LetTerm term)

walk

public abstract void walk(NonRecursive walker,
                          QuantifiedFormula term)

walk

public abstract void walk(NonRecursive walker,
                          TermVariable term)

getTerm

public Term getTerm()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object