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 |
---|---|
static DebugLevel |
DebugLevel.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static DebugLevel[] |
DebugLevel.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifySystem.compute(DebugLevel debugLevel,
PrintStream debugOut)
Computes the result and prints progress information to
PrintStream according to DebugLevel.
|
Map<Variable,Variable> |
PermEquiv.compute(DebugLevel debugLevel,
PrintStream out)
Calls the rule based system PermEquivSystem and returns the
result.
|
Map<Variable,Variable> |
PermEquivSystem.compute(DebugLevel debugLevel,
PrintStream out)
Computes a permuting matcher for given matching problems (see
PermEquivSystem.addEquation(TermNode, TermNode)) and given domain/range
(see PermEquivSystem.start(Set, Set)).
|
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.
|