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

P

pairEnd - Static variable in class at.jku.risc.stout.nau.data.NominalPair

The closing parenthesis used to group a nominal pair, Default = '>'

pairSeparator - Static variable in class at.jku.risc.stout.nau.data.NominalPair

The character used to separate the two parts of a nominal pair, Default = '; '

pairStart - Static variable in class at.jku.risc.stout.nau.data.NominalPair

The opening parenthesis used to group a nominal pair, Default = '<'

parseAtomSet(Reader) - Method in class at.jku.risc.stout.nau.data.InputParser

parseEquation(Reader, Reader, EquationSystem<T>) - Method in class at.jku.risc.stout.nau.data.InputParser

parseEquationAndCtx(Reader, Reader, Reader, Reader, EquationSystem<AntiUnifyProblem>) - Method in class at.jku.risc.stout.nau.data.InputParser

parseEquationSystem(Reader, EquationSystem<T>) - Method in class at.jku.risc.stout.nau.data.InputParser

Pull characters from the given Reader and parse the input.

parseNabla(Reader) - Method in class at.jku.risc.stout.nau.data.InputParser

parsePair(Reader, Reader) - Method in class at.jku.risc.stout.nau.data.InputParser

parseTerm(Reader, boolean) - Method in class at.jku.risc.stout.nau.data.InputParser

Pull characters from the given Reader and parse the input.

Permutation - Class in at.jku.risc.stout.nau.data.atom

A permutation of atoms which may be composed by swappings.

Permutation() - Constructor for class at.jku.risc.stout.nau.data.atom.Permutation

Permutation(int) - Constructor for class at.jku.risc.stout.nau.data.atom.Permutation

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

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

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

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

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

Applies the permutation to the given Atom and returns the permuted atom.

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

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

Applies the inverse permutation to the given Atom and returns the inverse permuted atom.

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

Retrieves and removes the first element of this system of equations or returns null if it is empty.

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

Retrieves and removes the last element of this system of equations or returns null if it is empty.

Printable - Class in at.jku.risc.stout.nau.util

Superclass for all printable classes.

Printable() - Constructor for class at.jku.risc.stout.nau.util.Printable

printPair(Writer, FreshnessCtx, NominalTerm) - Static method in class at.jku.risc.stout.nau.data.NominalPair

printRanString(Writer, FreshnessCtx) - Method in class at.jku.risc.stout.nau.algo.Substitution

Only prints the range of the mapping, which is actually useful to display a computed generalization of an AUP without the generalization variable.

printString(Writer) - Method in class at.jku.risc.stout.nau.algo.AntiUnifyProblem

printString(Writer, NominalTerm, NominalTerm, Variable) - Static method in class at.jku.risc.stout.nau.algo.AntiUnifyProblem

printString(Writer) - Method in class at.jku.risc.stout.nau.algo.AntiUnifySystem

printString(Writer) - Method in class at.jku.risc.stout.nau.algo.EquivarianceProblem

printString(Writer, NominalTerm, NominalTerm) - Static method in class at.jku.risc.stout.nau.algo.EquivarianceProblem

printString(Writer) - Method in class at.jku.risc.stout.nau.data.atom.Abstraction

printString(Writer) - Method in class at.jku.risc.stout.nau.data.atom.Atom

printString(Writer) - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication

printString(Writer) - Method in class at.jku.risc.stout.nau.data.atom.Suspension

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

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

printString(Writer) - Method in class at.jku.risc.stout.nau.data.NominalPair

printString(Writer) - Method in class at.jku.risc.stout.nau.util.Printable

Writes a string representation of this object into an arbitrary Writer.

printString(PrintStream) - Method in class at.jku.risc.stout.nau.util.Printable

Writes a string representation of this object into an arbitrary PrintStream.

prooveFresh(Atom) - Method in class at.jku.risc.stout.nau.data.NominalPair

Tests whether the given atom is fresh in the nominal term respecting the freshness context.

put(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.algo.Substitution

Add a new mapping of the form: Variable -> Term.

put(Atom, Collection<Variable>) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx

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

put(Variable, Collection<Atom>) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx

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

putAtom(DebugLevel, PrintStream, Atom, Atom) - Method in class at.jku.risc.stout.nau.algo.EquivarianceSystem

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