Package | Description |
---|---|
at.jku.risc.stout.hoau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem )
and its sub-algorighm PermEquivSystem . |
at.jku.risc.stout.hoau.data |
This package contains the classes which are needed to build up the term tree
and the
DataStructureFactory which
instantiates common data structures like List s,
Map s, Set s. |
at.jku.risc.stout.hoau.data.atom | |
at.jku.risc.stout.hoau.util |
This package contains some basic utility classes.
|
Class and Description |
---|
ControlledException
Every exception which will be thrown by intention is a sub-class of this one.
|
Class and Description |
---|
ControlledException
Every exception which will be thrown by intention is a sub-class of this one.
|
Printable
Base class which demands a function to print an object representation into an
arbitrary Writer.
|
Class and Description |
---|
Printable
Base class which demands a function to print an object representation into an
arbitrary Writer.
|
Class and Description |
---|
DataStructureFactory
This factory class defines which data structures to use.
|