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 |
---|---|
java.util.List<HedgeAUP> |
AntiUnifySystem.getStoreC()
Store for HedgeAUPs where the order does not matter (commutative
AUPs and AUPs that only consist of 0 or 1 arguments).
|
java.util.List<HedgeAUP> |
AntiUnifySystem.getStoreH()
Store for HedgeAUPs where the order matters (not commutative
AUPs where one side has at least 2 arguments).
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifySystem.doDecSBranch(HedgeAUP hAup,
AlignmentList align,
int idx) |
Constructor and Description |
---|
AntiUnifySystem(java.util.Deque<PrintableX> problemSet,
java.util.List<HedgeAUP> storeH,
java.util.List<HedgeAUP> storeC,
java.util.List<TermAUP> storeT,
java.util.Map<TermAUP,TermVar> trail,
TermGraph g)
Most likely you don't need this constructor because the algorithm is
encapsulated in the class AntiUnify which is much easier to use.
|
AntiUnifySystem(java.util.Deque<PrintableX> problemSet,
java.util.List<HedgeAUP> storeH,
java.util.List<HedgeAUP> storeC,
java.util.List<TermAUP> storeT,
java.util.Map<TermAUP,TermVar> trail,
TermGraph g)
Most likely you don't need this constructor because the algorithm is
encapsulated in the class AntiUnify which is much easier to use.
|