Package | Description |
---|---|
at.jku.risc.stout.nau.data.atom |
This package contains the classes which are needed to build up the term tree
(E.g.: Atom,
Abstraction,
FunctionApplication,
Suspension,
SortAtom,
SortData,
NodeFactory,...).
|
at.jku.risc.stout.nau.util |
This package contains some basic utility classes.
|
Modifier and Type | Method and Description |
---|---|
boolean |
NominalTerm.traverse(Traversable.TraverseCallBack<NominalTerm> callBack)
Traverses the term tree and executes the callback function at every
subterm.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Traversable.traverse(Traversable.TraverseCallBack<T> callBack) |