JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
$
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
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes