JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
$
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
V
A
add(TermAtom)
- Method in class at.jku.risc.stout.tgau.data.
TermAtomList
add(int, int)
- Method in class at.jku.risc.stout.tgau.util.
CoordList
add(T)
- Method in class at.jku.risc.stout.tgau.util.
DynamicArray
add(int)
- Method in class at.jku.risc.stout.tgau.util.
IntList
addAtom(TermAtom, int, int)
- Method in class at.jku.risc.stout.tgau.algo.
AlignmentList.Alignment
Adds a new
AlignmentList.Alignment.AlignmentAtom
to this
AlignmentList.Alignment
.
addRecursionEquation(Variable, Term)
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
Adds a recursion equation in canonical form to the system of equations of the term graph.
addToHedge(Variable)
- Method in class at.jku.risc.stout.tgau.data.
NodeFactory
AlignmentList
- Class in
at.jku.risc.stout.tgau.algo
A list of
AlignmentList.Alignment
elements which is pooled.
AlignmentList.Alignment
- Class in
at.jku.risc.stout.tgau.algo
An
AlignmentList.Alignment
is a list of
AlignmentList.Alignment.AlignmentAtom
s.
AlignmentList.Alignment.AlignmentAtom
- Class in
at.jku.risc.stout.tgau.algo
An
AlignmentList.Alignment.AlignmentAtom
consists of an
TermAtom
and two indexes for the positions of the atom inside the two hedges of an
TermAUP
.
AntiUnify
- Class in
at.jku.risc.stout.tgau.algo
This class encapsulates the rule based system
AntiUnifySystem
and takes care of the system branching.
AntiUnify(RigidityFnc, RigidityFncSubsequence, TermGraph, TermGraph, NodeFactory)
- Constructor for class at.jku.risc.stout.tgau.algo.
AntiUnify
Attention: Do not run two instances in parallel, since
AntiUnifySystem
uses global static arguments!
antiUnify(boolean, boolean)
- Method in class at.jku.risc.stout.tgau.algo.
AntiUnify
Silently computes the generalizations.
antiUnify(boolean, boolean, DebugLevel, PrintStream)
- Method in class at.jku.risc.stout.tgau.algo.
AntiUnify
Start computation with the specified PrintStream to show the progress of the computation.
AntiUnifySystem
- Class in
at.jku.risc.stout.tgau.algo
This class represents a rule based system for rigid anti-unification of term graphs.
AntiUnifySystem(Deque<PrintableX>, List<HedgeAUP>, List<HedgeAUP>, List<TermAUP>, Map<TermAUP, TermVar>, TermGraph)
- Constructor for class at.jku.risc.stout.tgau.algo.
AntiUnifySystem
Most likely you don't need this constructor because the algorithm is encapsulated in the class
AntiUnify
which is much easier to use.
at.jku.risc.stout.tgau.algo
- package 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
- package 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
- package at.jku.risc.stout.tgau.data.atom
This package contains all the atomic types like
FunctionSymbol
,
TermVar
,
HedgeVar
,
FunctionApplication
.
at.jku.risc.stout.tgau.util
- package at.jku.risc.stout.tgau.util
This package contains utility classes like the
DataStructureFactory
which instantiates common data structures like Lists, Maps, Sets.
atom
- Variable in class at.jku.risc.stout.tgau.algo.
AlignmentList.Alignment.AlignmentAtom
$
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
V
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes