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.
|
Class and Description |
---|
AlignFnc
This is the common super class for all alignment computation functions, which
compute a list of alignments for two given sequences (
TermAtomLists) of TermAtoms.
|
AlignFnc.AlignmentIterator |
AntiUnifyProblem
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Hedges.
|
AntiUnifyProblem.CommutativeArrangementIter |
AntiUnifyProblem.VariableWithHedges |
AntiUnifySystem
This class represents a rule based system for rigid anti-unification of
unranked terms and hedges.
The algorithm is described in the paper: Alexander Baumgartner, Temur Kutsia, Anti-Unification for Unranked Terms and Hedges with Hedge- and Context Variables. |
Contour
A list of contour elements.
|
Contour.ContourAtom |
ContourArrangement |
DebugLevel
Enumeration with 4 different levels of debugging.
|
JustificationException
This ControlledException is thrown if the justification of the
computed generalization fails.
|
MaximumIterationException |
Substitution
This class represents a substitution, which is a mapping from variables to
hedges.
It is used inside the rule based system AntiUnifySystem to compute generalizations for given AntiUnifyProblems. |
Class and Description |
---|
AntiUnifyProblem
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Hedges.
|
IllegalAlignmentException
This exception indicates that the computed alignment is not admissible.
|