Package | Description |
---|---|
at.jku.risc.stout.urauc.algo |
This package contains the classes of the rule based system
AntiUnifySystem, the corresponding
problem definition AntiUnifyProblem
and some standard implementations of a rigidity function
(AlignFncLAA,
AlignFncInput ).
|
at.jku.risc.stout.urauc.data |
This package contains the classes which are needed to build up the term tree.
|
Modifier and Type | Class and Description |
---|---|
class |
IllegalAlignmentException
This exception indicates that the computed alignment is not admissible.
|
class |
JustificationException
This ControlledException is thrown if the justification of the
computed generalization fails.
|
class |
MaximumIterationException |
Modifier and Type | Method and Description |
---|---|
long |
AntiUnify.antiUnify(boolean iterateAll,
boolean justify,
PrintStream out) |
void |
AntiUnify.AntiUnifyOne.antiUnify(PrintStream out)
Calls the rule based system AntiUnifySystem and tries to
justify the computed result if the second argument of this method is
true.
|
long |
AntiUnify.antiUnifySingleAup(AntiUnifyProblem aup,
boolean iterateAll,
boolean justify,
PrintStream out) |
void |
AntiUnifySystem.compute()
Computes the result silently.
|
void |
AntiUnifySystem.compute(DebugLevel debugLevel,
PrintStream debugOut)
Computes the result and prints progress information to
PrintStream according to DebugLevel.
|
Constructor and Description |
---|
AntiUnify.AntiUnifyOne(AntiUnifyProblem aup) |
Modifier and Type | Class and Description |
---|---|
class |
MalformedTermException
This exception is thrown if something goes wrong while parsing the input
term.
|