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 | Class and Description |
---|---|
class |
JustificationException
This ControlledException is thrown if the justification of the
computed generalization fails.
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnify.antiUnify(boolean justify,
PrintStream out)
Calls the rule based system AntiUnifySystem and tries to
justify the computed result if the second argument of this method is
true.
|
Map<Variable,Variable> |
PermEquiv.compute(DebugLevel debugLevel,
PrintStream out)
Calls the rule based system PermEquivSystem and returns the
result.
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
MalformedTermException
This exception is thrown if something goes wrong while parsing the input term.
|
class |
NotNormalizableException
This exception is thrown if a lambda term could not be normalized to beta
normal form within the given upper bound of recursion repetitions.
|
Modifier and Type | Method and Description |
---|---|
<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.
|