Package | Description |
---|---|
at.jku.risc.stout.urau.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
(RigidityFncSubsequence,
RigidityFncSubstring ).
|
Class and Description |
---|
AlignmentList
A list of AlignmentList.Alignment elements which is pooled.
|
AlignmentList.Alignment
An AlignmentList.Alignment is a list of AlignmentList.Alignment.AlignmentAtoms.
|
AlignmentList.Alignment.AlignmentAtom
An AlignmentList.Alignment.AlignmentAtom consists of an TermAtom
and two indexes for the positions of the atom inside the two hedges
of an Equation.
|
AntiUnifyProblem
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Hedges.
|
AntiUnifySystem
This class represents a rule based system for rigid anti-unification of
unranked terms and hedges.
The algorithm G(R) is described in the paper: Temur Kutsia, Jordi Levy, Mateu Villaret. |
DebugLevel
Enumeration with 4 different levels of debugging.
|
IllegalAlignmentException
This exception indicates that the computed alignment is not admissible.
|
RigidityFnc
This is the base class to all rigidity functions.
|
Substitution
This class represents a substitution, which is a mapping from variables to
terms.
It is used inside the rule based system AntiUnifySystem to compute generalizations for given AntiUnifyProblems. |