$ 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