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
J
M
N
O
P
R
S
T
V
W
X
Y
H
hashCode()
- Method in class at.jku.risc.stout.urauc.data.atom.
TermAtom
hashCode()
- Method in class at.jku.risc.stout.urauc.data.
Hedge
hashCode()
- Method in class at.jku.risc.stout.urauc.data.
TermNode
hashCode()
- Method in class at.jku.risc.stout.urauc.util.
Pair
hasNext()
- Method in class at.jku.risc.stout.urauc.algo.
AlignFncInput
hasNext()
- Method in class at.jku.risc.stout.urauc.algo.
AlignFncLAA.AlignmentIter
hasNext()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem.CommutativeArrangementIter
hasNext()
- Method in class at.jku.risc.stout.urauc.algo.
ContourArrangement
Hedge
- Class in
at.jku.risc.stout.urauc.data
A
Hedge
is a sequence of
TermNode
s.
Hedge()
- Constructor for class at.jku.risc.stout.urauc.data.
Hedge
Create an empty hedge
Hedge(boolean)
- Constructor for class at.jku.risc.stout.urauc.data.
Hedge
Create an empty hedge
Hedge(int)
- Constructor for class at.jku.risc.stout.urauc.data.
Hedge
Create an empty hedge with the given initial capacity.
Hedge(int, boolean)
- Constructor for class at.jku.risc.stout.urauc.data.
Hedge
Create an empty hedge with the given initial capacity.
Hedge(List<TermNode>)
- Constructor for class at.jku.risc.stout.urauc.data.
Hedge
Create a hedge with the specified sequence of
TermNode
s in it.
Hedge(List<TermNode>, boolean)
- Constructor for class at.jku.risc.stout.urauc.data.
Hedge
Hedge(TermNode...)
- Constructor for class at.jku.risc.stout.urauc.data.
Hedge
Create a hedge with the specified
TermNode
s in it.
Hedge(TermAtom...)
- Constructor for class at.jku.risc.stout.urauc.data.
Hedge
Create a hedge with
TermNode
s which encapsulate the specified
TermAtom
s in it.
HedgeVar
- Class in
at.jku.risc.stout.urauc.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()
.
HedgeVar(String)
- Constructor for class at.jku.risc.stout.urauc.data.atom.
HedgeVar
hedgeVarCnt
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
Hole
- Class in
at.jku.risc.stout.urauc.data.atom
The hole which appears exactly once in a context.
Hole(String)
- Constructor for class at.jku.risc.stout.urauc.data.atom.
Hole
HOLE_NAME
- Static variable in class at.jku.risc.stout.urauc.data.
InputParser
default = '@' => Any word starting with '@' will become a hole.
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
V
W
X
Y
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes