Package at.jku.risc.stout.urauc.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 (AlignFncLAA, AlignFncInput ).

See: Description

Interface Summary

Interface	Description
AlignFnc.AlignmentIterator

Class Summary

Class	Description
AlignFnc	This is the common super class for all alignment computation functions, which compute a list of alignments for two given sequences ( TermAtomLists) of TermAtoms.
AlignFncInput
AlignFncLAA	Implementation of an alignment computation function with longest subsequence. This implementation combines the common subsequence generator and the admissibility test.
AlignFncLAA.AlignmentIter
AntiUnify	This class encapsulates the rule based system AntiUnifySystem and allows to justify the result by back substitution of the generalization with the reported differences inside the computed store.
AntiUnifyProblem	This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), and two Hedges.
AntiUnifyProblem.VariableWithHedges
AntiUnifySystem	This class represents a rule based system for rigid anti-unification of unranked terms and hedges. The algorithm is described in the paper: Alexander Baumgartner, Temur Kutsia, Anti-Unification for Unranked Terms and Hedges with Hedge- and Context Variables.
Contour	A list of contour elements.
ContourArrangement	A list of all the Contours of the common subsequence problem of two lists of TermAtoms.
Substitution	This class represents a substitution, which is a mapping from variables to hedges. It is used inside the rule based system AntiUnifySystem to compute generalizations for given AntiUnifyProblems.

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.
JustificationException	This ControlledException is thrown if the justification of the computed generalization fails.
MaximumIterationException

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

This package contains the classes of the rule based system AntiUnifySystem, the corresponding problem definition AntiUnifyProblem and some standard implementations of a rigidity function (AlignFncLAA, AlignFncInput ).