$ A C D E F G H I J M N O P R S T U V W

I

idString - Static variable in class at.jku.risc.stout.nau.data.atom.Permutation

InputParser - Class in at.jku.risc.stout.nau.data

Sort of data starts with upper case!!!

InputParser(NodeFactory) - Constructor for class at.jku.risc.stout.nau.data.InputParser

Instantiates a parser for nominal pairs and nominal terms.

InputParser.ParseException - Exception in at.jku.risc.stout.nau.data

This ControlledException is thrown by the InputParser if the input is malformed.

inverse() - Method in class at.jku.risc.stout.nau.data.atom.Permutation

Returns the inverse permutation of this one.

isArgsEnd(int) - Static method in class at.jku.risc.stout.nau.data.InputParser

Tests whether the given codepoint is a valid closing parenthesis to group arguments of a function application.

isArgsStart(int) - Static method in class at.jku.risc.stout.nau.data.InputParser

Tests whether the given codepoint is a valid opening parenthesis to group arguments of a function application.

isArityUnknown() - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol

Returns true if the arity has not been set and could not be inferred so far.

isEmpty() - Method in class at.jku.risc.stout.nau.data.atom.Permutation

isEmpty() - Method in class at.jku.risc.stout.nau.data.EquationSystem

Tests whether the system of equations is empty.

isEmpty() - Method in class at.jku.risc.stout.nau.data.FreshnessCtx

isFresh(Atom, FreshnessCtx) - Method in class at.jku.risc.stout.nau.data.atom.Abstraction

isFresh(Atom, FreshnessCtx) - Method in class at.jku.risc.stout.nau.data.atom.Atom

isFresh(Atom, FreshnessCtx) - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication

isFresh(Atom, FreshnessCtx) - Method in class at.jku.risc.stout.nau.data.atom.NominalTerm

isFresh(Atom, FreshnessCtx) - Method in class at.jku.risc.stout.nau.data.atom.Suspension

isNameChar(int) - Static method in class at.jku.risc.stout.nau.data.InputParser

Determines if the specified character (Unicode code point) may be part of a name.

isSubsetOf(FreshnessCtx) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx

isSwapEnd(int) - Static method in class at.jku.risc.stout.nau.data.InputParser

Tests whether the given codepoint is a valid opening parenthesis for swapping application.

isSwapStart(int) - Static method in class at.jku.risc.stout.nau.data.InputParser

Tests whether the given codepoint is a valid opening parenthesis for swapping application.

iterator() - Method in class at.jku.risc.stout.nau.data.EquationSystem

$ A C D E F G H I J M N O P R S T U V W