This is the common super class for all alignment computation functions, which
compute a list of alignments for two given sequences (
TermAtomLists) of TermAtoms.
AlignFnc() - Constructor for class at.jku.risc.stout.urauc.algo.AlignFnc
Implementation of an alignment computation function with longest subsequence.
This implementation combines the common subsequence generator and the
admissibility test.
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.
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Hedges.