|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
key
for each.
IncrementalChangeTracker.addDeletedEdge(Edge)
) since
the previous IncrementalChangeTracker.clear()
IncrementalChangeTracker.addDeletedType(Node, ATermAppl)
) since the previous
IncrementalChangeTracker.clear()
c
, returning only datum associated with key
for each.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |