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
H
hasBoundVar(String)
- Method in class at.jku.risc.stout.hoau.data.
NodeFactory
hasFreeVar(Variable)
- Method in class at.jku.risc.stout.hoau.data.
TermNode
Checks whether a variable occurs freely inside inside the term.
hashCode()
- Method in class at.jku.risc.stout.hoau.data.atom.
TermAtom
Hedge
- Class in
at.jku.risc.stout.hoau.data
A
Hedge
is a sequence of
TermNode
s.
Hedge()
- Constructor for class at.jku.risc.stout.hoau.data.
Hedge
$
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