Package | Description |
---|---|
at.jku.risc.stout.uru.algo |
Modifier and Type | Method and Description |
---|---|
Substitution |
Substitution.copy() |
Substitution |
UnifSystem.getSigma() |
Modifier and Type | Method and Description |
---|---|
Set<Substitution> |
UnifAlgorithm.getResult() |
Set<Substitution> |
UnifAlgorithm.unify(DebugLevel debugLevel,
PrintStream debugOut,
PrintStream debugErr,
boolean justify) |
Modifier and Type | Method and Description |
---|---|
void |
UnifSystem.apply(Substitution theta) |
void |
UnifEquation.apply(Substitution theta) |
void |
UnifProblem.apply(Substitution theta) |
void |
Substitution.compose(Substitution theta) |
Constructor and Description |
---|
UnifSystem(UnifProblem problem,
Substitution sigma) |