|
void | init_zipping (Node *to_be_deleted) const noexcept |
|
void | delete_without_zipping (Node *to_be_deleted) const noexcept |
|
void | before_zip_from_left (Node *left_head) const noexcept |
|
void | before_zip_from_right (Node *right_head) const noexcept |
|
void | zipping_ended_left_without_tree (Node *prev_left_head) const noexcept |
|
void | zipping_ended_right_without_tree (Node *prev_right_head) const noexcept |
|
void | before_zip_tree_from_left (Node *left_head) const noexcept |
|
void | before_zip_tree_from_right (Node *right_head) const noexcept |
|
void | zipping_done (Node *head, Node *tail) const noexcept |
|
void | init_unzipping (Node *to_be_inserted) const noexcept |
|
void | unzip_to_left (Node *n) const noexcept |
|
void | unzip_to_right (Node *n) const noexcept |
|
void | unzip_done (Node *unzip_root, Node *left_spine_end, Node *right_spine_end) const noexcept |
|
The documentation for this class was generated from the following file: