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 |
---|---|
AntiUnifyProblem |
AntiUnifyProblem.clone() |
Modifier and Type | Method and Description |
---|---|
EquationSystem<AntiUnifyProblem> |
AntiUnify.getEqSysOrig()
Returns the original equation system.
|
EquationSystem<AntiUnifyProblem> |
AntiUnifySystem.getProblemSet()
Returns the problem set which is empty after AntiUnifySystem.compute()
succeeded.
|
List<AntiUnifyProblem> |
AntiUnifySystem.getStore()
Returns the store where all the disagreements are stored during the
computation.
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifyProblem.copyAbstr(AntiUnifyProblem eq)
Copies the variables from the abstraction list of the given AUP into the
abstraction list of this AUP.
|
Constructor and Description |
---|
AntiUnify(EquationSystem<AntiUnifyProblem> eq,
int maxNormalizeSteps,
DebugLevel debugLevel)
Creates and initializes the encapsulated rule based system
AntiUnifySystem with the given equation system and an empty
Substitution.
|
AntiUnifySystem(EquationSystem<AntiUnifyProblem> problemSet,
Substitution sigma)
Creates and initializes the rule based system.
|