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
B
bindAll(TermNode)
- Method in class at.jku.risc.stout.hoau.algo.
AntiUnifyProblem
Binds all the abstracted variables to the given term.
BoundVariable
- Class in
at.jku.risc.stout.hoau.data.atom
A bound variable is special type of
Variable
which stores it's origin name because it may be renamed by alpha conversion.
BoundVariable(String, String, String)
- Constructor for class at.jku.risc.stout.hoau.data.atom.
BoundVariable
$
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