undo edge creation
| 364 | |
| 365 | // undo edge creation |
| 366 | void UndoLog_CreateEdge |
| 367 | ( |
| 368 | UndoLog log, // undo log |
| 369 | Edge *edge // edge created |
| 370 | ) { |
| 371 | ASSERT(log != NULL); |
| 372 | |
| 373 | UndoOp op; |
| 374 | |
| 375 | op.type = UNDO_CREATE_EDGE; |
| 376 | op.create_op.e = *edge; |
| 377 | |
| 378 | UNDOLOG_ADD_OP(log, op); |
| 379 | } |
| 380 | |
| 381 | // undo node deletion |
| 382 | void UndoLog_DeleteNode |