Package | Description |
---|---|
at.jku.risc.stout.uru.algo |
Modifier and Type | Method and Description |
---|---|
UnifSystem |
UnifSystem.copy() |
UnifSystem |
UnifAlgorithm.getInitialSystem() |
UnifSystem |
UnifSystem.getNext() |
UnifSystem |
UnifSystemCollection.remove() |
Modifier and Type | Method and Description |
---|---|
void |
UnifSystemCollection.add(UnifSystem sys) |
void |
UnifSystem.setNext(UnifSystem next) |
Constructor and Description |
---|
UnifAlgorithm(UnifSystem system,
long maxDerivationDepth) |