undo node creation
| 348 | |
| 349 | // undo node creation |
| 350 | void UndoLog_CreateNode |
| 351 | ( |
| 352 | UndoLog log, // undo log |
| 353 | Node *node // node created |
| 354 | ) { |
| 355 | ASSERT(log != NULL); |
| 356 | |
| 357 | UndoOp op; |
| 358 | |
| 359 | op.type = UNDO_CREATE_NODE; |
| 360 | op.create_op.n = *node; |
| 361 | |
| 362 | UNDOLOG_ADD_OP(log, op); |
| 363 | } |
| 364 | |
| 365 | // undo edge creation |
| 366 | void UndoLog_CreateEdge |