Package | Description |
---|---|
at.jku.risc.stout.uru.algo | |
at.jku.risc.stout.uru.data |
This package contains the classes which are needed to build up the term tree.
|
Class and Description |
---|
DebugLevel
Enumeration with 4 different levels of debugging.
|
Substitution |
UnifEquation |
UnifProblem |
UnifSystem |
Class and Description |
---|
UnifProblem |