|
|
|
|
|
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.
|