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

P

Pair<T1,T2> - Class in at.jku.risc.stout.urauc.util

Pair(T1, T2) - Constructor for class at.jku.risc.stout.urauc.util.Pair

parseAlignment(AntiUnifyProblem, String, boolean) - Static method in class at.jku.risc.stout.urauc.data.InputParser

parseAtomSet(String) - Static method in class at.jku.risc.stout.urauc.data.InputParser

parseEquationSystem(String) - Method in class at.jku.risc.stout.urauc.data.InputParser

Parses a system of anti-unification equations which are separated by semicolon.

parseHedgeEquation(Reader, Reader) - Method in class at.jku.risc.stout.urauc.data.InputParser

A hedge equation has the form:
(s1, s2,...) =^= (t1, t2,...)

parseTerm(String) - Method in class at.jku.risc.stout.urauc.data.InputParser

Use InputParser.parseTerm(Reader) if possible! It performs much better and saves space by reading directly from the data stream!!!

parseTerm(Reader) - Method in class at.jku.risc.stout.urauc.data.InputParser

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

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

popHedge() - Method in class at.jku.risc.stout.urauc.data.NodeFactory

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

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

POSITION_E - Static variable in class at.jku.risc.stout.urauc.data.TermNode

PREFIX_Constant - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

PREFIX_ContextVar - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

PREFIX_FreshCtxVar - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

PREFIX_FreshHedgeVar - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

PREFIX_Function - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

PREFIX_FunctionVar - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

PREFIX_HedgeVar - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

PREFIX_IndividualVar - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

print(Writer) - Method in class at.jku.risc.stout.urauc.data.atom.TermAtom

print(Writer) - Method in class at.jku.risc.stout.urauc.data.Hedge

print(Writer, boolean) - Method in class at.jku.risc.stout.urauc.data.Hedge

print(Writer) - Method in class at.jku.risc.stout.urauc.data.TermNode

print(Writer) - Method in class at.jku.risc.stout.urauc.util.Printable

PRINT_EQ_SEPARATOR - Static variable in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

PRINT_PARAM_END - Static variable in class at.jku.risc.stout.urauc.data.Hedge

PRINT_PARAM_SEPARATOR - Static variable in class at.jku.risc.stout.urauc.data.Hedge

PRINT_PARAM_START - Static variable in class at.jku.risc.stout.urauc.data.Hedge

PRINT_SYS_SEPARATOR - Static variable in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

PRINT_VAR_SEPARATOR - Static variable in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem

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

Base class which demands a function to print an object representation into an arbitrary Writer.

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

pushHedge() - Method in class at.jku.risc.stout.urauc.data.NodeFactory

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

Add a new mapping of the form: Variable -> Hedge

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