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
N
newDeque()
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newDeque(Collection<? extends T>)
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newDeque(int)
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newEquation()
- Method in class at.jku.risc.stout.hoau.data.
EquationSystem
You have to implement this method, so that an algorithm is able to instantiate new
Equation
s of arbitrary types.
newEquation(TermNode, TermNode)
- Method in class at.jku.risc.stout.hoau.data.
EquationSystem
Instantiates an equation of the specified type and initializes it with the given
TermNode
s.
newInstance()
- Method in class at.jku.risc.stout.hoau.data.
Hedge
newInstance()
- Method in class at.jku.risc.stout.hoau.data.
LambdaHedge
newList()
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newList(Collection<? extends T>)
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newList(int)
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newMap()
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newMap(Map<? extends K, ? extends V>)
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newMap(int)
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newSet()
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newSet(Collection<? extends T>)
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
newSet(int)
- Method in class at.jku.risc.stout.hoau.util.
DataStructureFactory
NodeFactory
- Class in
at.jku.risc.stout.hoau.data
A factory to create
TermNode
s,
Hedge
s and atomic types (
TermAtom
s).
NodeFactory()
- Constructor for class at.jku.risc.stout.hoau.data.
NodeFactory
NotNormalizableException
- Exception in
at.jku.risc.stout.hoau.data
This exception is thrown if a lambda term could not be normalized to beta normal form within the given upper bound of recursion repetitions.
NotNormalizableException()
- Constructor for exception at.jku.risc.stout.hoau.data.
NotNormalizableException
NotNormalizableException(String, Throwable)
- Constructor for exception at.jku.risc.stout.hoau.data.
NotNormalizableException
NotNormalizableException(String)
- Constructor for exception at.jku.risc.stout.hoau.data.
NotNormalizableException
NotNormalizableException(Throwable)
- Constructor for exception at.jku.risc.stout.hoau.data.
NotNormalizableException
nullAtom
- Static variable in class at.jku.risc.stout.hoau.data.
TermNode
nullHedge
- Static variable in class at.jku.risc.stout.hoau.data.
TermNode
$
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