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
J
M
N
O
P
R
S
T
V
W
X
Y
I
idxInc()
- Method in class at.jku.risc.stout.urauc.data.
Alignment.AlignmentAtom
idxIncLeft()
- Method in class at.jku.risc.stout.urauc.data.
Alignment.AlignmentAtom
idxIncRight()
- Method in class at.jku.risc.stout.urauc.data.
Alignment.AlignmentAtom
idxLeftTopAdd(int)
- Method in class at.jku.risc.stout.urauc.data.
Alignment.AlignmentAtom
idxRightTopAdd(int)
- Method in class at.jku.risc.stout.urauc.data.
Alignment.AlignmentAtom
IllegalAlignmentException
- Exception in
at.jku.risc.stout.urauc.algo
This exception indicates that the computed alignment is not admissible.
IllegalAlignmentException()
- Constructor for exception at.jku.risc.stout.urauc.algo.
IllegalAlignmentException
IllegalAlignmentException(String, Throwable)
- Constructor for exception at.jku.risc.stout.urauc.algo.
IllegalAlignmentException
IllegalAlignmentException(String)
- Constructor for exception at.jku.risc.stout.urauc.algo.
IllegalAlignmentException
IllegalAlignmentException(Throwable)
- Constructor for exception at.jku.risc.stout.urauc.algo.
IllegalAlignmentException
incAllRootIdxLeft()
- Method in class at.jku.risc.stout.urauc.data.
Alignment
incAllRootIdxRight()
- Method in class at.jku.risc.stout.urauc.data.
Alignment
init()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
init()
- Method in interface at.jku.risc.stout.urauc.data.
Equation
This method is called automatically by the input parser after a new equation has been created.
initIterator(int)
- Method in class at.jku.risc.stout.urauc.algo.
ContourArrangement
Initialize the iteration of all the
ContourArrangement.size()
over k possible combinations of k contours.
initPosition(int[])
- Method in class at.jku.risc.stout.urauc.data.
Hedge
initPosition(int[], int)
- Method in class at.jku.risc.stout.urauc.data.
TermNode
Initializes all the position indexes recursively starting with the given position parentIndex.childPosition.
initPositionIndexHorizontalPartX(int[], int[])
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
Initialize the position indexes of the hedge (horizontal sequence
AntiUnifyProblem.getHorizontalPartX()
) with the given hole position of the context (
AntiUnifyProblem.getVerticalPartC()
).
initPositionIndexVerticalPartC()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
Initialize the position indexes of the context (vertical sequence
AntiUnifyProblem.getVerticalPartC()
).
InputParser
<
T
extends
Equation
> - Class in
at.jku.risc.stout.urauc.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.urauc.data.
InputParser
IntList
- Class in
at.jku.risc.stout.urauc.util
A flexible sized list of primitive integers.
IntList()
- Constructor for class at.jku.risc.stout.urauc.util.
IntList
IntList(int)
- Constructor for class at.jku.risc.stout.urauc.util.
IntList
IntList(long[])
- Constructor for class at.jku.risc.stout.urauc.util.
IntList
isAdmissible()
- Method in class at.jku.risc.stout.urauc.data.
Alignment
Tests whether the alignment is admissible or not.
isAncestor(TermAtom)
- Method in class at.jku.risc.stout.urauc.data.atom.
TermAtom
isCommutative()
- Method in class at.jku.risc.stout.urauc.data.atom.
TermAtom
isCommutative()
- Method in class at.jku.risc.stout.urauc.data.
Hedge
isEmpty()
- Method in class at.jku.risc.stout.urauc.data.
EquationSystem
Tests whether the system of equations is empty.
isEmpty()
- Method in class at.jku.risc.stout.urauc.data.
Hedge
isEmpty()
- Method in class at.jku.risc.stout.urauc.util.
TinyList
Returns true if the relative size is 0.
isHole()
- Method in class at.jku.risc.stout.urauc.data.
Hedge
isHole()
- Method in class at.jku.risc.stout.urauc.data.
TermNode
Tests whether the atom of this term node is the hole.
isLeftFixed()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem.CommutativeArrangementIter
isNameChar(int)
- Method in class at.jku.risc.stout.urauc.data.
InputParser
isNullAtom()
- Method in class at.jku.risc.stout.urauc.data.
TermNode
Tests whether the atom of this term node is the null atom.
isRightFixed()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem.CommutativeArrangementIter
iterator()
- Method in class at.jku.risc.stout.urauc.data.
EquationSystem
iteratorHorizontalPartX(boolean)
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
iteratorVerticalPartC(boolean)
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
V
W
X
Y
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes