| 510 | } |
| 511 | |
| 512 | void Untie(LogicExp* curr, int* thenaddr) { |
| 513 | LogicExp* previous = curr->prev; |
| 514 | if (previous) { |
| 515 | previous->next = nullptr; |
| 516 | } |
| 517 | curr->prev = nullptr; |
| 518 | curr->parent = nullptr; |
| 519 | } |
| 520 | |
| 521 | |
| 522 | void TieAsSubExp(LogicExp* parent, LogicExp* item) { |