Package | Description |
---|---|
at.jku.risc.stout.hoau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem )
and its sub-algorighm PermEquivSystem . |
at.jku.risc.stout.hoau.data |
This package contains the classes which are needed to build up the term tree
and the
DataStructureFactory which
instantiates common data structures like List s,
Map s, Set s. |
Modifier and Type | Method and Description |
---|---|
EquationSystem<PermEquivProblem> |
PermEquiv.getEqSys() |
EquationSystem<AntiUnifyProblem> |
AntiUnify.getEqSysOrig()
Returns the original equation system.
|
EquationSystem<AntiUnifyProblem> |
AntiUnifySystem.getProblemSet()
Returns the problem set which is empty after AntiUnifySystem.compute()
succeeded.
|
EquationSystem<PermEquivProblem> |
PermEquivSystem.getProblemSet() |
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.
|
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) |
Modifier and Type | Method and Description |
---|---|
EquationSystem<T> |
EquationSystem.clone() |
Modifier and Type | Method and Description |
---|---|
<T extends Equation> |
InputParser.parseEquation(Reader in1,
Reader in2,
EquationSystem<T> eqSys,
int maxReduce) |
<T extends Equation> |
InputParser.parseEquationSystem(String in,
EquationSystem<T> eqSys,
int maxReduce)
Parses a string and puts all the equations into the given equation
system.
|