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
parseEqSystem(String, PrintStream)
- Method in class at.jku.risc.stout.urmc.data.
InputParser
Parse the given input string and add all equations to the system.
parseHedgeEquation(Reader, Reader)
- Method in class at.jku.risc.stout.urmc.data.
InputParser
A hedge equation has the form:
(s1, s2,...) =^= (t1, t2,...)
parseTerm(Reader)
- Method in class at.jku.risc.stout.urmc.data.
InputParser
popHedge()
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
PREFIX_FreshHedgeVar
- Static variable in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
PREFIX_FreshTermVar
- Static variable in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
PREFIX_Function
- Static variable in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
PREFIX_HedgeVar
- Static variable in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
PREFIX_TermVar
- Static variable in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
print(Writer)
- Method in class at.jku.risc.stout.urmc.data.atom.
TermAtom
print(Writer)
- Method in class at.jku.risc.stout.urmc.data.
Hedge
print(Writer, boolean)
- Method in class at.jku.risc.stout.urmc.data.
Hedge
print(Writer)
- Method in class at.jku.risc.stout.urmc.data.
TermNode
print(Writer)
- Method in class at.jku.risc.stout.urmc.util.
Printable
PRINT_EQ_SEPARATOR
- Static variable in class at.jku.risc.stout.urmc.algo.
MatchEquation
PRINT_PARAM_END
- Static variable in class at.jku.risc.stout.urmc.data.
Hedge
PRINT_PARAM_SEPARATOR
- Static variable in class at.jku.risc.stout.urmc.data.
Hedge
PRINT_PARAM_START
- Static variable in class at.jku.risc.stout.urmc.data.
Hedge
Printable
- Class in
at.jku.risc.stout.urmc.util
Base class which demands a function to print an object representation into an arbitrary
Writer
.
Printable()
- Constructor for class at.jku.risc.stout.urmc.util.
Printable
pushHedge()
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
put(Variable, TermNode)
- Method in class at.jku.risc.stout.urmc.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