avl_tree.hpp

Go to the documentation of this file.

/*
 * AVL Tree implementation.
 * Copyright (C) 2019 Theodoros Ntakouris <zarkopafilis@gmail.com>
 */
 
#ifndef UAVCAN_UTIL_AVL_TREE_HPP_INCLUDED
#define UAVCAN_UTIL_AVL_TREE_HPP_INCLUDED
 
#include <cstdlib>
#include <cassert>
#include <cmath>
#include <algorithm>
#include <functional>
#include <uavcan/build_config.hpp>
#include <uavcan/util/templates.hpp>
#include <uavcan/dynamic_memory.hpp>
#include <uavcan/debug.hpp>
 
namespace uavcan 
{
template <typename T>
class UAVCAN_EXPORT AvlTree : Noncopyable 
{
protected:
    struct Node {
        T* data = UAVCAN_NULLPTR;
        int16_t h = 1; // initially added as leaf
        Node* left = UAVCAN_NULLPTR;
        Node* right = UAVCAN_NULLPTR;
        Node* equal_keys = UAVCAN_NULLPTR;
    };
 
    Node* root_;
 
private:
    size_t len_ = 0;
 
    static int16_t heightOf(const Node* n) {
        if (n == UAVCAN_NULLPTR) {
            return 0;
        }
 
        return n->h;
    }
 
    void postOrderTraverseRecursively(Node* n, std::function<void(T*&)> forEach) {
        if (n == UAVCAN_NULLPTR) {
            return;
        }
 
        postOrderTraverseRecursively(n->left, forEach);
        postOrderTraverseRecursively(n->right, forEach);
        forEach(n->data);
    }
 
    Node* makeNode(T* payload) {
        void* praw = this->allocator_.allocate(sizeof(Node));
 
        if (praw == UAVCAN_NULLPTR) {
            UAVCAN_TRACE("AvlTree", " OOM -- Can't allocate Node");
            return UAVCAN_NULLPTR; // Push rejected
        }
 
        Node* node = new (praw) Node();
        UAVCAN_ASSERT(node);
 
        node->data = payload;
        return node;
    }
 
    void deleteNode(Node*& n) {
        if (n != UAVCAN_NULLPTR) {
            n->~Node();
            allocator_.deallocate(n);
            n = UAVCAN_NULLPTR;
        }
    }
 
    static int16_t balanceOf(Node* n) {
        if (n == UAVCAN_NULLPTR) {
            return 0;
        }
 
        return static_cast<int16_t>(heightOf(n->left) - heightOf(n->right));
    }
 
    static int16_t maxOf(int16_t a, int16_t b) {
        return a > b ? a : b;
    }
 
    static Node* rotateRight(Node* y) {
        Node* x = y->left;
        Node* T2 = x->right;
 
        x->right = y;
        y->left = T2;
 
        y->h = static_cast<int16_t>(maxOf(heightOf(y->left), heightOf(y->right)) + 1);
        x->h = static_cast<int16_t>(maxOf(heightOf(x->left), heightOf(x->right)) + 1);
 
        return x;
    }
 
    static Node* rotateLeft(Node* x) {
        Node* y = x->right;
        Node* T2 = y->left;
 
        y->left = x;
        x->right = T2;
 
        x->h = static_cast<int16_t>(maxOf(heightOf(x->left), heightOf(x->right)) + 1);
        y->h = static_cast<int16_t>(maxOf(heightOf(y->left), heightOf(y->right)) + 1);
 
        return y;
    }
 
    // If UAVCAN_NULLPTR is returned, OOM happened.
    Node* insertNode(Node* node, Node* newNode) {
        if (node == UAVCAN_NULLPTR) {
            len_++;
            return newNode;
        }
 
        if (*newNode->data < *node->data) {
            node->left = insertNode(node->left, newNode);
        } else if (*newNode->data > *node->data) {
            node->right = insertNode(node->right, newNode);
        } else {
            len_++;
            appendToEndOf(node, newNode);
            return node;
        }
 
        node->h = static_cast<int16_t>(maxOf(heightOf(node->left), heightOf(node->right)) + 1);
 
        int16_t balance = balanceOf(node);
 
        if (balance > 1 && (*newNode->data < *node->left->data)) {
            return rotateRight(node);
        }
 
        if (balance < -1 && (*newNode->data > *node->right->data)) {
            return rotateLeft(node);
        }
 
        if (balance > 1 && (*newNode->data > *node->left->data)) {
            node->left = rotateLeft(node->left);
            return rotateRight(node);
        }
 
        if (balance < -1 && (*newNode->data < *node->right->data)) {
            node->right = rotateRight(node->right);
            return rotateLeft(node);
        }
 
        return node;
    }
 
    static void appendToEndOf(Node* head, Node* newNode) {
        Node* target = head;
        while(target->equal_keys != UAVCAN_NULLPTR) {
            target = target->equal_keys;
        }
 
        target->equal_keys = newNode;
    }
 
    /* Delete the element of the linked list (memory address comparison)
     * and return the new head 
     */
    Node* deleteFromList(Node* root, T* data) {
        Node* current = root;
        Node* prev = UAVCAN_NULLPTR;
 
        while(current != UAVCAN_NULLPTR) {
            if (current->data == data) {
                if (current == root) {
                    Node* ret = current->equal_keys; // From the remove method, this should never be null
 
                    /* Inherit subtrees */
                    ret->h = current->h;
                    ret->left = current->left;
                    ret->right = current->right;
 
                    len_--;
                    deleteNode(current);
 
                    return ret; /* Return one element forward */
                } else {
                    Node* next = current->equal_keys;
                    prev->equal_keys = next;
                    len_--;
                    deleteNode(current);
                    return root; /* Unchanged root, non-head element was changed */
                }
            }
 
            prev = current;
            current = current->equal_keys;
        }
 
        return root;
    }
 
    void postOrderTraverseNodeCleanup(Node* n) {
        if (n == UAVCAN_NULLPTR) {
            return;
        }
 
        postOrderTraverseNodeCleanup(n->left);
        postOrderTraverseNodeCleanup(n->right);
        this->deleteNode(n);
    }
 
protected:
    /*
     * Use this only to allocate the Node struct.
     * `T data` should be already allocated and
     * provided ready for usage from the outside world
     */
    LimitedPoolAllocator allocator_;
 
    void postOrderNodeTraverseRecursively(Node* n, std::function<void(Node*&)> forEach) {
        if (n == UAVCAN_NULLPTR) {
            return;
        }
 
        postOrderNodeTraverseRecursively(n->left, forEach);
        postOrderNodeTraverseRecursively(n->right, forEach);
        forEach(n);
    }
 
    Node* removeNode(Node* node, T* data) {
        if (node == UAVCAN_NULLPTR) {
            return node;
        }
 
        if (*data < *node->data) {
            node->left = removeNode(node->left, data);
        } else if (*data > *node->data) {
            node->right = removeNode(node->right, data);
        } else {
            if (node->equal_keys == UAVCAN_NULLPTR) {
                if (node->left == UAVCAN_NULLPTR || node->right == UAVCAN_NULLPTR) {
                    Node *temp = node->left ? node->left : node->right;
 
                    if (temp == UAVCAN_NULLPTR) {
                        temp = node;
                        node = UAVCAN_NULLPTR;
                    } else {
                        *node = *temp;
                    }
 
                    len_--;
                    deleteNode(temp);
                } else {
                    Node *minOfRight = node->right;
 
                    while (minOfRight->left != UAVCAN_NULLPTR) {
                        minOfRight = minOfRight->left;
                    }
 
                    node->data = minOfRight->data;
                    node->right = removeNode(node->right, minOfRight->data);
                }
            } else {
                Node* newHead = deleteFromList(node, data);
                return newHead;
            }
        }
 
        if (node == UAVCAN_NULLPTR) {
            return node;
        }
 
        node->h = static_cast<int16_t>(maxOf(heightOf(node->left), heightOf(node->right)) + 1);
 
        int16_t balance = balanceOf(node);
 
        if (balance > 1 && balanceOf(node->left) >= 0) {
            return rotateRight(node);
        }
 
        if (balance > 1 && balanceOf(node->left) < 0) {
            node->left = rotateLeft(node->left);
            return rotateRight(node);
        }
 
        if (balance < -1 && balanceOf(node->right) <= 0) {
            return rotateLeft(node);
        }
 
        if (balance < -1 && balanceOf(node->right) > 0) {
            node->right = rotateRight(node->right);
            return rotateLeft(node);
        }
 
        return node;
    }
 
    static bool linkedListContains(Node* head, const T* data) {
        Node* next = head;
        while(next != UAVCAN_NULLPTR) {
            if (next->data == data) { /* Memory address comparison */
                return true;
            }
            next = next->equal_keys;
        }
        return false;
    }
 
public:
    AvlTree(IPoolAllocator &allocator, std::size_t allocator_quota)
        : root_(UAVCAN_NULLPTR)
        , len_(0)
        , allocator_(allocator, allocator_quota)
    {}
 
    virtual ~AvlTree() {
        // Delete leafs first.
        postOrderTraverseNodeCleanup(this->root_);
    }
 
    void removeEntry(T* data) {
        root_ = removeNode(root_, data);
    }
 
    bool insert(T* data) {
        Node* newNode = makeNode(data);
        if (newNode == UAVCAN_NULLPTR) {
            return false;
        }
 
        root_ = insertNode(root_, newNode);
 
        return true;
    }
 
    size_t getSize() const {
        return len_;
    }
 
    void walkPostOrder(std::function<void(T*&)> forEach) {
        postOrderTraverseRecursively(root_, forEach);
    }
 
 
    bool isEmpty() const {
        return getSize() == 0;
    }
 
    T* max() const {
        Node* n = root_;
 
        if (n == UAVCAN_NULLPTR) {
            return UAVCAN_NULLPTR;
        }
 
        while (n->right != UAVCAN_NULLPTR) {
            n = n->right;
        }
 
        return n->data;
    }
 
    bool contains(const T* data) const {
        Node* n = root_;
        while (n != UAVCAN_NULLPTR) {
            if (*n->data < *data) {
                n = n->right;
                continue;
            }
 
            if (*n->data > *data) {
                n = n->left;
                continue;
            }
 
            return linkedListContains(n, data);
        }
        return false;
    }
 
};
}
 
#endif // UAVCAN_UTIL_AVL_TREE_HPP_INCLUDED