Package | Description |
---|---|
at.jku.risc.stout.urmc.algo | |
at.jku.risc.stout.urmc.data |
This package contains the classes which are needed to build up the term tree.
|
Modifier and Type | Method and Description |
---|---|
MatchProblem |
MatchProblem.copy() |
MatchProblem |
MatchSystem.getProblem() |
Constructor and Description |
---|
MatchSystem(MatchProblem problem,
Substitution sigma) |
Constructor and Description |
---|
InputParser(MatchProblem system,
NodeFactory nodeFactory) |