at.jku.risc.stout.nau.util

Interface Traversable<T>

All Known Implementing Classes:

Abstraction, Atom, FunctionApplication, NominalTerm, Suspension

public interface Traversable<T>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Traversable.TraverseCallBack<T> This class may be used to traverse a term tree and execute an arbitrary operation on every node.The following example prints all variable occurences inside of a nominal term.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	traverse(Traversable.TraverseCallBack<T> callBack)

Method Detail

traverse

boolean traverse(Traversable.TraverseCallBack<T> callBack)