Package | Description |
---|---|
at.jku.risc.stout.urauc.algo |
This package contains the classes of the rule based system
AntiUnifySystem, the corresponding
problem definition AntiUnifyProblem
and some standard implementations of a rigidity function
(AlignFncLAA,
AlignFncInput ).
|
at.jku.risc.stout.urauc.data |
This package contains the classes which are needed to build up the term tree.
|
at.jku.risc.stout.urauc.data.atom | |
at.jku.risc.stout.urauc.util |
This package contains utility classes like the
DataStructureFactory which
instantiates common data structures like Lists,
Maps, Sets.
|