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 | Field and Description |
---|---|
TermAtom |
AlignmentList.Alignment.AlignmentAtom.atom |
Modifier and Type | Method and Description |
---|---|
void |
AlignmentList.Alignment.addAtom(TermAtom atom,
int idxLeft,
int idxRight)
Adds a new AlignmentList.Alignment.AlignmentAtom to this AlignmentList.Alignment.
|
void |
AlignmentList.Alignment.AlignmentAtom.set(TermAtom atom,
int idxLeft,
int idxRight) |
Modifier and Type | Field and Description |
---|---|
TermAtom |
TermAtomEquation.left |
TermAtom |
TermAtomEquation.right |
Modifier and Type | Method and Description |
---|---|
TermAtom |
TermAtomList.get(int i) |
Modifier and Type | Method and Description |
---|---|
void |
TermAtomList.add(TermAtom atom) |
TermAtomList |
TermGraph.top(TermAtom var) |
Constructor and Description |
---|
TermAtomEquation(TermAtom left,
TermAtom right) |
Modifier and Type | Class and Description |
---|---|
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 |
TermVar
A simple term variable can be substituted by a single term.
|
class |
Variable
This is the base class for different types of variables.
|
Modifier and Type | Method and Description |
---|---|
TermAtom |
Term.getAtom() |
TermAtom |
Variable.getAtom() |
Modifier and Type | Method and Description |
---|---|
int |
TermAtom.compare(TermAtom o) |