JavaScript is disabled on your browser.
Skip navigation links
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
L
M
N
O
P
R
S
T
V
N
newConcatList(List<? extends T>, List<? extends T>)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
Returns a list that is not modifiable.
newDeque()
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newDeque(Collection<T>)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newDeque(int)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newList()
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newList(Collection<T>)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newList(int)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newMap()
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newMap(Map<K, V>)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newMap(int)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newObject()
- Method in class at.jku.risc.stout.tgau.algo.
AlignmentList
newObject()
- Method in class at.jku.risc.stout.tgau.data.
TermAtomList
newObject()
- Method in class at.jku.risc.stout.tgau.util.
CoordList
newObject()
- Method in interface at.jku.risc.stout.tgau.util.
Poolable
This method is called from the
Pool
if there is no object available to recycle.
newSet()
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newSet(Collection<T>)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
newSet(int)
- Method in class at.jku.risc.stout.tgau.util.
DataStructureFactory
nextAlignment()
- Method in class at.jku.risc.stout.tgau.algo.
AlignmentList
Increments the list by one and returns the new
AlignmentList.Alignment
from this
AlignmentList
.
nf
- Static variable in class at.jku.risc.stout.tgau.algo.
AntiUnifySystem
NodeFactory
- Class in
at.jku.risc.stout.tgau.data
A factory to create
Term
s and atomic types (
TermAtom
s).
NodeFactory()
- Constructor for class at.jku.risc.stout.tgau.data.
NodeFactory
normalize(TermGraph)
- Method in class at.jku.risc.stout.tgau.algo.
TermGraphNormalizer
Normalize all the names of all the variables in the given term graph.
$
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
V
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes