de.uni_freiburg.informatik.ultimate.logic

Interface NonRecursive.Walker

All Known Implementing Classes:

ComputeFreeVariables, NonRecursive.TermWalker, TermTransformer.BuildAnnotation, TermTransformer.BuildApplicationTerm, TermTransformer.BuildLetTerm, TermTransformer.BuildQuantifier, TermTransformer.StartLetTerm

Enclosing class:

NonRecursive

protected static interface NonRecursive.Walker

Walker that does some piece of work. This can be added to the todo stack to be executed later.

Author:

hoenicke

Method Summary

Modifier and Type	Method and Description
void	walk(NonRecursive engine) Do one step of the recursive algorithm.

Method Detail

walk

void walk(NonRecursive engine)

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

Parameters:

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