See: Description
Class | Description |
---|---|
AlignmentList |
A list of AlignmentList.Alignment elements which is pooled.
|
AntiUnify |
This class encapsulates the rule based system AntiUnifySystem
and takes care of the system branching.
|
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. |
RigidityFnc |
This is the base class to all rigidity functions.
|
RigidityFncSubsequence |
Implementation for rigidity function with subsequence matching.
Let m be the number of left term atoms and n be the number of right term atoms. Time complexity = Exponential worst case (back tracking) but should be OK in average case Space complexity = O(m * n) This implementation reuses all the allocated objects for performance reasons. |
RigidityFncSubstring |
Implementation for rigidity function with substring matching.
Let m be the number of left term atoms and n be the number of right term atoms. Time complexity = O(m * n) Space complexity = O(max(m, n)) This implementation reuses all the allocated objects for performance reasons. |
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. |
Enum | Description |
---|---|
DebugLevel |
Enumeration with 4 different levels of debugging.
|
Exception | Description |
---|---|
IllegalAlignmentException |
This exception indicates that the computed alignment is not admissible.
|