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
R
remove()
- Method in class at.jku.risc.stout.urmc.algo.
MatchProblem
remove()
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystemCollection
replace(int, TermNode)
- Method in class at.jku.risc.stout.urmc.data.
Hedge
Replaces the
TermNode
at the given position with a new
TermNode
if the
TermAtom
of the new node is not null.
replaceHole(Hedge)
- Method in class at.jku.risc.stout.urmc.data.
TermNode
Replaces the hole in this context with the given hedge.
resetCounter()
- Static method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
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