|
||||||||||
| 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 | |||||||||