Package | Description |
---|---|
at.jku.risc.stout.tgau.algo |
This package contains the entry point for the anti-unification algorithm
AntiUnify, the rule based system
AntiUnifySystem, the corresponding
problem definitions TermAUP and
HedgeAUP, 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
TermAUP.
|
AntiUnifySystem
This class represents a rule based system for rigid anti-unification of term
graphs.
|
BaseAUP
This class represents the basis of any type of AUP.
|
DebugLevel
Enumeration with 4 different levels of debugging.
|
HedgeAUP
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Terms.
|
IllegalAlignmentException
This exception indicates that the computed alignment is not admissible.
|
RigidityFnc
This is the base class to all rigidity functions.
|
RigidityFncSubsequence
Implementation for rigidity function with subsequence matching.
|
TermAUP
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Terms.
|