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
H
hashCode()
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
hashCode()
- Method in class at.jku.risc.stout.urmc.algo.
Substitution
hashCode()
- Method in class at.jku.risc.stout.urmc.data.
Hedge
hashCode()
- Method in class at.jku.risc.stout.urmc.data.
TermNode
headF()
- Method in class at.jku.risc.stout.urmc.data.
Hedge
headV()
- Method in class at.jku.risc.stout.urmc.data.
Hedge
hedge
- Variable in class at.jku.risc.stout.urmc.data.atom.
Hole
Hedge
- Class in
at.jku.risc.stout.urmc.data
A
Hedge
is a sequence of
TermNode
s.
Hedge()
- Constructor for class at.jku.risc.stout.urmc.data.
Hedge
Hedge(List<TermNode>)
- Constructor for class at.jku.risc.stout.urmc.data.
Hedge
HedgeVar
- Class in
at.jku.risc.stout.urmc.data.atom
A hedge variable can be substituted by a single
TermNode
or a hedge which is represented by a
TermNode
with a null-atom
TermNode.isNullAtom()
.
Hole
- Class in
at.jku.risc.stout.urmc.data.atom
The Hole is a special symbol that appears exactly once in a context.
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