JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
$
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
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes