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.
|
Modifier and Type | Method and Description |
---|---|
UnifProblem |
UnifProblem.copy() |
UnifProblem |
UnifSystem.getProblem() |
Constructor and Description |
---|
UnifSystem(UnifProblem problem,
Substitution sigma) |
Constructor and Description |
---|
InputParser(UnifProblem system,
NodeFactory nodeFactory) |