at.jku.risc.stout.tgau.algo

Class Summary
Class	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.
AntiUnify	This class encapsulates the rule based system AntiUnifySystem and takes care of the system branching.
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.
HedgeAUP	This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), and two Terms.
RigidityFnc	This is the base class to all rigidity functions.
RigidityFncSubsequence	Implementation for rigidity function with subsequence matching.
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.
TermAUP	This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), and two Terms.
TermGraphNormalizer	This class can be used to normalize the term graphs.

Enum Summary
Enum Description

DebugLevel
Enumeration with 4 different levels of debugging.
Exception Summary
Exception Description

IllegalAlignmentException
This exception indicates that the computed alignment is not admissible.

Enum Summary
Enum	Description
DebugLevel	Enumeration with 4 different levels of debugging.

Exception Summary
Exception	Description
IllegalAlignmentException	This exception indicates that the computed alignment is not admissible.

Package at.jku.risc.stout.tgau.algo Description

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