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

P

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

parseEquationSystem(String, EquationSystem<T>, int) - Method in class at.jku.risc.stout.hoau.data.InputParser

Parses a string and puts all the equations into the given equation system.

parseSequence(String) - Method in class at.jku.risc.stout.hoau.data.InputParser

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

parseSequence(Reader) - Method in class at.jku.risc.stout.hoau.data.InputParser

Parses a sequence of terms out of the given Reader and returns it.

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

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

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

Parses a term out of the given Reader and returns it.

PermEquiv - Class in at.jku.risc.stout.hoau.algo

This class encapsulates the rule based system PermEquivSystem.

PermEquiv(EquationSystem<PermEquivProblem>, Set<Variable>, Set<Variable>) - Constructor for class at.jku.risc.stout.hoau.algo.PermEquiv

Creates and initializes the encapsulated rule based system PermEquivSystem with the given equation system, domain and range.

PermEquivProblem - Class in at.jku.risc.stout.hoau.algo

This class represents a matching problem of two TermNodes.

PermEquivProblem() - Constructor for class at.jku.risc.stout.hoau.algo.PermEquivProblem

PermEquivSystem - Class in at.jku.risc.stout.hoau.algo

This class represents a rule based system for computing a bijection by variable permutation between two terms.

PermEquivSystem() - Constructor for class at.jku.risc.stout.hoau.algo.PermEquivSystem

PermEquivSystem(EquationSystem<PermEquivProblem>) - Constructor for class at.jku.risc.stout.hoau.algo.PermEquivSystem

popFirst() - Method in class at.jku.risc.stout.hoau.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.hoau.data.NodeFactory

popLambda(Hedge) - Method in class at.jku.risc.stout.hoau.data.NodeFactory

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

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

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

PREFIX_FreshBoundVar - Static variable in class at.jku.risc.stout.hoau.data.NodeFactory

PREFIX_FreshFreeVar - Static variable in class at.jku.risc.stout.hoau.data.NodeFactory

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

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

PREFIX_Lambda - Static variable in class at.jku.risc.stout.hoau.data.NodeFactory

print(Writer) - Method in class at.jku.risc.stout.hoau.data.atom.BoundVariable

print(Writer) - Method in class at.jku.risc.stout.hoau.data.atom.Function

print(Writer) - Method in class at.jku.risc.stout.hoau.data.atom.Lambda

print(Writer) - Method in class at.jku.risc.stout.hoau.data.atom.Variable

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

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

print(Writer) - Method in class at.jku.risc.stout.hoau.data.LambdaHedge

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

print(Writer, TermAtom, boolean) - Method in class at.jku.risc.stout.hoau.data.LambdaHedge

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

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

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

PRINT_ORIGIN_NAME - Static variable in class at.jku.risc.stout.hoau.data.atom.BoundVariable

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

PRINT_PARAM_END - Static variable in class at.jku.risc.stout.hoau.data.LambdaHedge

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

PRINT_PARAM_SEPARATOR - Static variable in class at.jku.risc.stout.hoau.data.LambdaHedge

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

PRINT_PARAM_START - Static variable in class at.jku.risc.stout.hoau.data.LambdaHedge

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

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

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

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

printState(PrintStream) - Method in class at.jku.risc.stout.hoau.algo.PermEquivSystem

printUserFriendly - Static variable in class at.jku.risc.stout.hoau.data.TermNode

The user friendly output form transforms lambda hedges to argument lists.

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

Everything what is not an argument list of a static function symbol is a lambda hedge.

pushLambda(String, String) - Method in class at.jku.risc.stout.hoau.data.NodeFactory

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

Add a new mapping of the form: Variable -> Term
Beta reduction is triggered automatically.

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