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
J
M
N
O
P
R
S
T
V
W
X
Y
P
Pair
<
T1
,
T2
> - Class in
at.jku.risc.stout.urauc.util
Pair(T1, T2)
- Constructor for class at.jku.risc.stout.urauc.util.
Pair
parseAlignment(AntiUnifyProblem, String, boolean)
- Static method in class at.jku.risc.stout.urauc.data.
InputParser
parseAtomSet(String)
- Static method in class at.jku.risc.stout.urauc.data.
InputParser
parseEquationSystem(String)
- Method in class at.jku.risc.stout.urauc.data.
InputParser
Parses a system of anti-unification equations which are separated by semicolon.
parseHedgeEquation(Reader, Reader)
- Method in class at.jku.risc.stout.urauc.data.
InputParser
A hedge equation has the form:
(s1, s2,...) =^= (t1, t2,...)
parseTerm(String)
- Method in class at.jku.risc.stout.urauc.data.
InputParser
Use
InputParser.parseTerm(Reader)
if possible! It performs much better and saves space by reading directly from the data stream!!!
parseTerm(Reader)
- Method in class at.jku.risc.stout.urauc.data.
InputParser
popFirst()
- Method in class at.jku.risc.stout.urauc.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.urauc.data.
NodeFactory
popLast()
- Method in class at.jku.risc.stout.urauc.data.
EquationSystem
Retrieves and removes the last element of this system of equations or returns null if it is empty.
POSITION_E
- Static variable in class at.jku.risc.stout.urauc.data.
TermNode
PREFIX_Constant
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_ContextVar
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_FreshCtxVar
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_FreshFncVar
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_FreshHedgeVar
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_FreshTermVar
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_Function
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_FunctionVar
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_HedgeVar
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
PREFIX_IndividualVar
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
print(Writer)
- Method in class at.jku.risc.stout.urauc.data.atom.
TermAtom
print(Writer)
- Method in class at.jku.risc.stout.urauc.data.
Hedge
print(Writer, boolean)
- Method in class at.jku.risc.stout.urauc.data.
Hedge
print(Writer)
- Method in class at.jku.risc.stout.urauc.data.
TermNode
print(Writer)
- Method in class at.jku.risc.stout.urauc.util.
Printable
PRINT_EQ_SEPARATOR
- Static variable in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
PRINT_PARAM_END
- Static variable in class at.jku.risc.stout.urauc.data.
Hedge
PRINT_PARAM_SEPARATOR
- Static variable in class at.jku.risc.stout.urauc.data.
Hedge
PRINT_PARAM_START
- Static variable in class at.jku.risc.stout.urauc.data.
Hedge
PRINT_SYS_SEPARATOR
- Static variable in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
PRINT_VAR_SEPARATOR
- Static variable in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
Printable
- Class in
at.jku.risc.stout.urauc.util
Base class which demands a function to print an object representation into an arbitrary
Writer
.
Printable()
- Constructor for class at.jku.risc.stout.urauc.util.
Printable
pushHedge()
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
put(Variable, Hedge)
- Method in class at.jku.risc.stout.urauc.algo.
Substitution
Add a new mapping of the form: Variable -> Hedge
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
V
W
X
Y
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes