Package | Description |
---|---|
at.jku.risc.stout.urmc.algo |
Modifier and Type | Method and Description |
---|---|
Substitution |
Substitution.copy() |
Substitution |
MatchSystem.getSigma() |
Modifier and Type | Method and Description |
---|---|
Set<Substitution> |
MatchAlgorithm.getResult() |
Set<Substitution> |
MatchAlgorithm.match(DebugLevel debugLevel,
PrintStream debugOut,
PrintStream debugErr,
boolean justify) |
Modifier and Type | Method and Description |
---|---|
void |
MatchSystem.apply(Substitution theta) |
void |
MatchProblem.apply(Substitution theta) |
void |
MatchEquation.apply(Substitution theta) |
void |
Substitution.compose(Substitution theta) |
Constructor and Description |
---|
MatchSystem(MatchProblem problem,
Substitution sigma) |