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
I
InputParser
- Class in
at.jku.risc.stout.hoau.data
Tiny term parser with the following rules: (The described rules use the default configuration.
InputParser()
- Constructor for class at.jku.risc.stout.hoau.data.
InputParser
Like
InputParser.InputParser(NodeFactory, boolean)
with a new
NodeFactory
instance and forceType set to false.
InputParser(NodeFactory, boolean)
- Constructor for class at.jku.risc.stout.hoau.data.
InputParser
Constructor with the used
NodeFactory
.
isBasicType()
- Method in class at.jku.risc.stout.hoau.data.atom.
Function
isBasicType()
- Method in class at.jku.risc.stout.hoau.data.atom.
Lambda
isBasicType()
- Method in class at.jku.risc.stout.hoau.data.atom.
TermAtom
isBasicType()
- Method in class at.jku.risc.stout.hoau.data.atom.
Variable
isEmpty()
- Method in class at.jku.risc.stout.hoau.data.
EquationSystem
Tests whether the system of equations is empty.
isEmpty()
- Method in class at.jku.risc.stout.hoau.data.
Hedge
isNullAtom()
- Method in class at.jku.risc.stout.hoau.data.
TermNode
Tests whether the atom of this term node is the null atom.
iterator()
- Method in class at.jku.risc.stout.hoau.data.
EquationSystem
$
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