$ 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