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

P

parseTermGraph(Reader, boolean) - Method in class at.jku.risc.stout.tgau.data.InputParser
Parses a system of recursion equations and returns a term graph.
Pool<T extends Poolable> - Class in at.jku.risc.stout.tgau.util
A pool of objects of a certain type.
Poolable - Interface in at.jku.risc.stout.tgau.util
This interface defines the two methods which are needed to enable object pooling.
popHedge() - Method in class at.jku.risc.stout.tgau.data.NodeFactory
 
PREFIX_FreshHedgeVar - Variable in class at.jku.risc.stout.tgau.algo.TermGraphNormalizer
 
PREFIX_FreshHedgeVar - Variable in class at.jku.risc.stout.tgau.data.NodeFactory
 
PREFIX_FreshTermVar - Variable in class at.jku.risc.stout.tgau.algo.TermGraphNormalizer
 
PREFIX_FreshTermVar - Variable in class at.jku.risc.stout.tgau.data.NodeFactory
 
print(Writer) - Method in class at.jku.risc.stout.tgau.algo.HedgeAUP
 
print(Writer) - Method in class at.jku.risc.stout.tgau.algo.TermAUP
 
print(Writer) - Method in class at.jku.risc.stout.tgau.data.atom.FunctionApplication
 
print(Writer) - Method in class at.jku.risc.stout.tgau.data.atom.TermAtom
 
print(Writer) - Method in class at.jku.risc.stout.tgau.data.TermAtomEquation
 
print(Writer) - Method in class at.jku.risc.stout.tgau.data.TermGraph
The root is the first printed variable.
print(Writer) - Method in interface at.jku.risc.stout.tgau.util.Printable
 
PRINT_EQ_SEPARATOR - Static variable in class at.jku.risc.stout.tgau.algo.BaseAUP
 
PRINT_EQ_SEPARATOR - Static variable in class at.jku.risc.stout.tgau.data.TermAtomEquation
 
Printable - Interface in at.jku.risc.stout.tgau.util
Interface demands a function to print an object representation into an arbitrary Writer.
PrintableX - Class in at.jku.risc.stout.tgau.util
Implements Printable and overrides the method PrintableX.toString() by redirecting it to the method Printable.print(Writer).
PrintableX() - Constructor for class at.jku.risc.stout.tgau.util.PrintableX
 
printCollection(Collection<? extends Printable>, boolean, Writer) - Method in class at.jku.risc.stout.tgau.util.DataStructureFactory
 
printDebug(DebugLevel, PrintStream, AntiUnifySystem) - Method in class at.jku.risc.stout.tgau.algo.AntiUnify
 
printPlainCollection(Collection<? extends Printable>, Writer) - Method in class at.jku.risc.stout.tgau.util.DataStructureFactory
 
printTrail() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
 
pushHedge() - Method in class at.jku.risc.stout.tgau.data.NodeFactory
 
$ A B C D E F G H I L M N O P R S T V 
Skip navigation links