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 ).
|
at.jku.risc.stout.tgau.data |
This package contains the classes which are needed to build up the term
graphs and alignments.
|
at.jku.risc.stout.tgau.data.atom |
This package contains all the atomic types like
FunctionSymbol,
TermVar,
HedgeVar,
FunctionApplication.
|
Modifier and Type | Class and Description |
---|---|
class |
BaseAUP
This class represents the basis of any type of AUP.
|
class |
HedgeAUP
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Terms.
|
class |
TermAUP
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Terms.
|
Modifier and Type | Method and Description |
---|---|
java.util.Deque<PrintableX> |
AntiUnifySystem.getProblemSet() |
java.util.List<? super PrintableX> |
AntiUnifySystem.getStore()
A concatenation of AntiUnifySystem.getStoreT() and AntiUnifySystem.getStoreH()
and AntiUnifySystem.getStoreC()
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
TermAtomEquation
A pair of two term atoms.
|
class |
TermGraph
A term graph is a system of recursion equations with a predefined root.
|
Modifier and Type | Class and Description |
---|---|
class |
FunctionApplication
A function application consists of a FunctionSymbol and a
List of variables.
|
class |
FunctionSymbol
A TermAtom which represents a function symbol.
|
class |
HedgeVar
A hedge variable can be substituted by a single term or a hedge.
|
class |
TermAtom
Base class for all the atomic types like function symbols and variables.
|
class |
TermVar
A simple term variable can be substituted by a single term.
|
class |
Variable
This is the base class for different types of variables.
|