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
U
V
I
incDerivationDepth()
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
InputParser
- Class in
at.jku.risc.stout.uru.data
Tiny term parser with the following rules: [A-Za-z1-9_.] are allowed for variable names and function names.
InputParser(UnifProblem, NodeFactory)
- Constructor for class at.jku.risc.stout.uru.data.
InputParser
isEmpty()
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
isEmpty()
- Method in class at.jku.risc.stout.uru.algo.
UnifSystemCollection
isEmpty()
- Method in class at.jku.risc.stout.uru.data.
Hedge
isMaxDepthReached()
- Method in class at.jku.risc.stout.uru.algo.
UnifAlgorithm
isNameChar(int)
- Method in class at.jku.risc.stout.uru.data.
InputParser
isNullAtom()
- Method in class at.jku.risc.stout.uru.data.
TermNode
Tests whether the atom of this term node is the null atom.
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
U
V
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes