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
S
setAtom(TermAtom)
- Method in class at.jku.risc.stout.urmc.data.
TermNode
Null values are transformed to unique objects which represent the null value.
setHedge(Hedge)
- Method in class at.jku.risc.stout.urmc.data.
TermNode
Null values are transformed to unique objects which represent the null value.
setLeft(TermNode)
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
setNext(MatchEquation)
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
setNext(MatchSystem)
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystem
setRight(TermNode)
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
SIGMA_EMPTY_REPLACEMENT
- Static variable in class at.jku.risc.stout.urmc.algo.
Substitution
Most likely you want to change
Hedge.PRINT_PARAM_START
and
Hedge.PRINT_PARAM_END
instead of this variable.
SIGMA_END
- Static variable in class at.jku.risc.stout.urmc.algo.
Substitution
Default = "} "
SIGMA_MAPTO
- Static variable in class at.jku.risc.stout.urmc.algo.
Substitution
Default = " -> "
SIGMA_START
- Static variable in class at.jku.risc.stout.urmc.algo.
Substitution
Default = "{"
size()
- Method in class at.jku.risc.stout.urmc.data.
Hedge
subHedge(int, int)
- Method in class at.jku.risc.stout.urmc.data.
Hedge
substitute(Variable, TermNode, TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
ContextVar
substitute(Variable, TermNode, TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
FunctionVar
substitute(Variable, TermNode, TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
TermAtom
substitute(Variable, TermNode, TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
Variable
substitute(Variable, TermNode)
- Method in class at.jku.risc.stout.urmc.data.
Hedge
substitute(Variable, TermNode)
- Method in class at.jku.risc.stout.urmc.data.
TermNode
Substitutes one
Variable
by a
TermNode
recursively and returns the new
TermNode
.
Substitution
- Class in
at.jku.risc.stout.urmc.algo
Substitution()
- Constructor for class at.jku.risc.stout.urmc.algo.
Substitution
Substitution(Map<Variable, TermNode>)
- Constructor for class at.jku.risc.stout.urmc.algo.
Substitution
SUFFIX_FreshHedgeVar
- Static variable in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
SUFFIX_FreshTermVar
- Static variable in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
swap()
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
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