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
V
I
idxLeft
- Variable in class at.jku.risc.stout.urau.algo.
AlignmentList.Alignment.AlignmentAtom
idxRight
- Variable in class at.jku.risc.stout.urau.algo.
AlignmentList.Alignment.AlignmentAtom
IllegalAlignmentException
- Exception in
at.jku.risc.stout.urau.algo
This exception indicates that the computed alignment is not admissible.
IllegalAlignmentException()
- Constructor for exception at.jku.risc.stout.urau.algo.
IllegalAlignmentException
IllegalAlignmentException(String, Throwable)
- Constructor for exception at.jku.risc.stout.urau.algo.
IllegalAlignmentException
IllegalAlignmentException(String)
- Constructor for exception at.jku.risc.stout.urau.algo.
IllegalAlignmentException
IllegalAlignmentException(Throwable)
- Constructor for exception at.jku.risc.stout.urau.algo.
IllegalAlignmentException
InputParser
<
T
extends
Equation
> - Class in
at.jku.risc.stout.urau.data
Tiny term parser with the following rules: [A-Za-z1-9_.] are allowed for variable names and function names.
InputParser(EquationSystem<T>)
- Constructor for class at.jku.risc.stout.urau.data.
InputParser
isEmpty()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifyProblem
isEmpty()
- Method in class at.jku.risc.stout.urau.data.
Hedge
isEmpty()
- Method in class at.jku.risc.stout.urau.util.
TinyList
isNameChar(int)
- Method in class at.jku.risc.stout.urau.data.
InputParser
isNullAtom()
- Method in class at.jku.risc.stout.urau.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
V
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes