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
M
N
O
P
R
S
T
V
T
TermAtom
- Class in
at.jku.risc.stout.urau.data.atom
Base class for all the atomic types like function symbols and variables.
TermAtom(String)
- Constructor for class at.jku.risc.stout.urau.data.atom.
TermAtom
TermAtomList
- Class in
at.jku.risc.stout.urau.data
A list of
TermAtom
s which is
Poolable
.
TermNode
- Class in
at.jku.risc.stout.urau.data
A term node consists of a
TermAtom
and a
Hedge
.
TermNode(TermAtom, Hedge)
- Constructor for class at.jku.risc.stout.urau.data.
TermNode
Instantiates a new term node.
TermNode.TraverseCallBack
- Class in
at.jku.risc.stout.urau.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.urau.data.
TermNode.TraverseCallBack
TermVar
- Class in
at.jku.risc.stout.urau.data.atom
A simple term variable can be substituted by a single
TermNode
.
TermVar(String)
- Constructor for class at.jku.risc.stout.urau.data.atom.
TermVar
TinyList
<
V
> - Class in
at.jku.risc.stout.urau.util
Tiny abstract list.
TinyList()
- Constructor for class at.jku.risc.stout.urau.util.
TinyList
toHedgePartString()
- Method in class at.jku.risc.stout.urau.data.
Hedge
toHedgeString()
- Method in class at.jku.risc.stout.urau.data.
Hedge
top()
- Method in class at.jku.risc.stout.urau.data.
Hedge
toRanString()
- Method in class at.jku.risc.stout.urau.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.urau.algo.
AlignmentList.Alignment.AlignmentAtom
toString()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifyProblem
toString()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifySystem
toString()
- Method in class at.jku.risc.stout.urau.algo.
Substitution
toString()
- Method in class at.jku.risc.stout.urau.data.
EquationSystem
toString()
- Method in class at.jku.risc.stout.urau.util.
Printable
toString()
- Method in class at.jku.risc.stout.urau.util.
TinyList
traverse(TermNode.TraverseCallBack)
- Method in class at.jku.risc.stout.urau.data.
TermNode
Traverses the term tree and executes the callback function at every node.
$
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
V
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes