|
|
|
|
|
| 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 Lists,
Maps, Sets. |
| at.jku.risc.stout.hoau.data.atom | |
| at.jku.risc.stout.hoau.util |
This package contains some basic utility classes.
|