JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
V
W
X
Y
T
TermAtom
- Class in
at.jku.risc.stout.urauc.data.atom
Base class for all the atomic types like function symbols and variables.
TermAtom(String)
- Constructor for class at.jku.risc.stout.urauc.data.atom.
TermAtom
TermAtom(String, int[])
- Constructor for class at.jku.risc.stout.urauc.data.atom.
TermAtom
TermAtomList
- Class in
at.jku.risc.stout.urauc.data
A list of
TermAtom
s which is used for alignment computation.
TermAtomList()
- Constructor for class at.jku.risc.stout.urauc.data.
TermAtomList
TermAtomList(int)
- Constructor for class at.jku.risc.stout.urauc.data.
TermAtomList
TermNode
- Class in
at.jku.risc.stout.urauc.data
A term node consists of a
TermAtom
and a
Hedge
.
TermNode(TermAtom, Hedge)
- Constructor for class at.jku.risc.stout.urauc.data.
TermNode
Instantiates a new term node.
TermNode(TermAtom)
- Constructor for class at.jku.risc.stout.urauc.data.
TermNode
Instantiates a new term node with an empty hedge.
TermNode.TraverseCallBack
- Class in
at.jku.risc.stout.urauc.data
This class may be used to
traverse
a term tree and execute an arbitrary operation on every node.
TermNode.TraverseCallBack()
- Constructor for class at.jku.risc.stout.urauc.data.
TermNode.TraverseCallBack
TermVar
- Class in
at.jku.risc.stout.urauc.data.atom
A simple term variable can be substituted by a single
TermNode
.
TermVar(String)
- Constructor for class at.jku.risc.stout.urauc.data.atom.
TermVar
TinyList
<
V
> - Class in
at.jku.risc.stout.urauc.util
A tiny abstract class for list implementations.
TinyList()
- Constructor for class at.jku.risc.stout.urauc.util.
TinyList
toHedgeNode(HedgeVar)
- Static method in class at.jku.risc.stout.urauc.data.
NodeFactory
top()
- Method in class at.jku.risc.stout.urauc.data.
Hedge
toRanString()
- Method in class at.jku.risc.stout.urauc.algo.
Substitution
Only prints the range of the mapping, which is actually useful to display a computed generalization of an AUP without the generalization variable (which presents the most general generalization).
toString()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
toString()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem.VariableWithHedges
toString()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifySystem
toString()
- Method in class at.jku.risc.stout.urauc.algo.
Contour.ContourAtom
toString()
- Method in class at.jku.risc.stout.urauc.algo.
Contour
toString()
- Method in class at.jku.risc.stout.urauc.algo.
ContourArrangement
toString()
- Method in class at.jku.risc.stout.urauc.algo.
Substitution
toString()
- Method in class at.jku.risc.stout.urauc.data.
Alignment.AlignmentAtom
toString()
- Method in class at.jku.risc.stout.urauc.data.
Alignment
toString()
- Method in class at.jku.risc.stout.urauc.data.
EquationSystem
toString()
- Method in class at.jku.risc.stout.urauc.util.
IntList
toString()
- Method in class at.jku.risc.stout.urauc.util.
Pair
toString()
- Method in class at.jku.risc.stout.urauc.util.
Printable
toString()
- Method in class at.jku.risc.stout.urauc.util.
TinyList
traverse(TermNode.TraverseCallBack)
- Method in class at.jku.risc.stout.urauc.data.
TermNode
Traverses the term tree and executes the callback function at every node.
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
V
W
X
Y
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes