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 ).
|
Modifier and Type | Method and Description |
---|---|
AlignmentList.Alignment |
AlignmentList.get(int i)
Returns an alignment of this list.
|
AlignmentList.Alignment |
AlignmentList.nextAlignment()
Increments the list by one and returns the new AlignmentList.Alignment from
this AlignmentList.
|