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

P

parseEquationSystem(String, PrintStream) - Method in class at.jku.risc.stout.urau.data.InputParser

Parse the given input string and add all equations to the system.

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

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

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

Pool<T extends Poolable> - Class in at.jku.risc.stout.urau.util

A pool of objects of a certain type.

Poolable - Interface in at.jku.risc.stout.urau.util

This interface defines the two methods which are needed to enable object pooling.

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

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

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

PREFIX_FreshTermVar - Static variable in class at.jku.risc.stout.urau.data.NodeFactory

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

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

PREFIX_TermVar - Static variable in class at.jku.risc.stout.urau.data.NodeFactory

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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