JavaScript is disabled on your browser.
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
J
L
M
N
O
P
R
S
T
V
T
TermAtom
- Class in
at.jku.risc.stout.hoau.data.atom
Base class for all the atomic types like function symbols and variables.
TermAtom(String)
- Constructor for class at.jku.risc.stout.hoau.data.atom.
TermAtom
TermNode
- Class in
at.jku.risc.stout.hoau.data
A term node consists of a
TermAtom
and a
Hedge
.
TermNode(TermAtom, Hedge)
- Constructor for class at.jku.risc.stout.hoau.data.
TermNode
Instantiates a new term node.
TermNode.TraverseCallBack
- Class in
at.jku.risc.stout.hoau.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.hoau.data.
TermNode.TraverseCallBack
toRanString()
- Method in class at.jku.risc.stout.hoau.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.hoau.algo.
AntiUnifyProblem
toString()
- Method in class at.jku.risc.stout.hoau.algo.
AntiUnifySystem
toString()
- Method in class at.jku.risc.stout.hoau.algo.
PermEquivProblem
toString()
- Method in class at.jku.risc.stout.hoau.algo.
PermEquivSystem
toString()
- Method in class at.jku.risc.stout.hoau.algo.
Substitution
toString()
- Method in class at.jku.risc.stout.hoau.data.
EquationSystem
toString()
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory.MyHashMap
toString()
- Method in class at.jku.risc.stout.hoau.util.
Printable
traverse(TermNode.TraverseCallBack)
- Method in class at.jku.risc.stout.hoau.data.
TermNode
Traverses the term tree and executes the callback function at every node.
tryBoundVarPrefix(String, String...)
- Method in class at.jku.risc.stout.hoau.data.
InputParser
This method tries to find a suitable prefix for fresh bound variables.
tryFreeVarPrefix(String, String...)
- Method in class at.jku.risc.stout.hoau.data.
InputParser
This method tries to find a suitable prefix for fresh free variables.
TYPE_CONSTRUCTOR
- Static variable in class at.jku.risc.stout.hoau.data.
InputParser
default = '-'.
$
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes