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
T
Term
- Interface in
at.jku.risc.stout.tgau.data.atom
Terms are the elemental building blocks of a term graph.
TermAtom
- Class in
at.jku.risc.stout.tgau.data.atom
Base class for all the atomic types like function symbols and variables.
TermAtom(String)
- Constructor for class at.jku.risc.stout.tgau.data.atom.
TermAtom
TermAtomEquation
- Class in
at.jku.risc.stout.tgau.data
A pair of two term atoms.
TermAtomEquation(TermAtom, TermAtom)
- Constructor for class at.jku.risc.stout.tgau.data.
TermAtomEquation
TermAtomList
- Class in
at.jku.risc.stout.tgau.data
A list of
TermAtom
s which is
Poolable
.
TermAUP
- Class in
at.jku.risc.stout.tgau.algo
This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), and two
Term
s.
TermAUP(TermVar, TermVar, TermVar)
- Constructor for class at.jku.risc.stout.tgau.algo.
TermAUP
Create an AUP with the given generalization variable and hedges.
TermGraph
- Class in
at.jku.risc.stout.tgau.data
A term graph is a system of recursion equations with a predefined root.
TermGraph(TermVar)
- Constructor for class at.jku.risc.stout.tgau.data.
TermGraph
TermGraph(TermVar, Map<Variable, Term>)
- Constructor for class at.jku.risc.stout.tgau.data.
TermGraph
TermGraphNormalizer
- Class in
at.jku.risc.stout.tgau.algo
This class can be used to normalize the term graphs.
TermGraphNormalizer()
- Constructor for class at.jku.risc.stout.tgau.algo.
TermGraphNormalizer
TermVar
- Class in
at.jku.risc.stout.tgau.data.atom
A simple term variable can be substituted by a single term.
TermVar(String)
- Constructor for class at.jku.risc.stout.tgau.data.atom.
TermVar
TinyList
<
V
> - Class in
at.jku.risc.stout.tgau.util
Tiny abstract list.
TinyList()
- Constructor for class at.jku.risc.stout.tgau.util.
TinyList
top()
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
top(TermAtom)
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
top(List<Variable>)
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
toString()
- Method in class at.jku.risc.stout.tgau.algo.
AlignmentList.Alignment.AlignmentAtom
toString()
- Method in class at.jku.risc.stout.tgau.algo.
AlignmentList.Alignment
toString()
- Method in class at.jku.risc.stout.tgau.algo.
AlignmentList
toString()
- Method in class at.jku.risc.stout.tgau.data.atom.
TermAtom
toString()
- Method in class at.jku.risc.stout.tgau.util.
PrintableX
toString()
- Method in class at.jku.risc.stout.tgau.util.
TinyList
$
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