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