Package | Description |
---|---|
at.jku.risc.stout.hoau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem )
and its sub-algorighm PermEquivSystem . |
Modifier and Type | Method and Description |
---|---|
PermEquivProblem |
PermEquivProblem.clone() |
Modifier and Type | Method and Description |
---|---|
EquationSystem<PermEquivProblem> |
PermEquiv.getEqSys() |
EquationSystem<PermEquivProblem> |
PermEquivSystem.getProblemSet() |
Constructor and Description |
---|
PermEquiv(EquationSystem<PermEquivProblem> eqSys,
Set<Variable> dom,
Set<Variable> ran)
Creates and initializes the encapsulated rule based system
PermEquivSystem with the given equation system, domain and
range.
|
PermEquivSystem(EquationSystem<PermEquivProblem> problemSet) |