See: Description
Interface | Description |
---|---|
DeepCopy<T extends DeepCopy<T>> |
Interface for classes which may be cloned by calling the method
DeepCopy.deepCopy().
|
Traversable<T> |
Class | Description |
---|---|
DataStructureFactory |
This factory class defines which data structures to use.
|
Printable |
Superclass for all printable classes.
|
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.
|
Exception | Description |
---|---|
ControlledException |
Every exception which will be thrown by intention is a subclass of this one.
|