|
tlds
Transactional Operations for Linked Data Structures
|
#include <Tree.hpp>
Classes | |
| struct | RBNode |
Public Member Functions | |
| RBTree () | |
| TM_CALLABLE bool | lookup (int val TM_ARG) const |
| TM_CALLABLE void | insert (int val TM_ARG) |
| TM_CALLABLE void | remove (int val TM_ARG) |
| TM_CALLABLE void | modify (int val TM_ARG) |
| bool | isSane () const |
Public Attributes | |
| RBNode * | sentinel |
Private Types | |
| enum | Color { RED, BLACK } |
Static Private Member Functions | |
| static int | blackHeight (const RBNode *x) |
| static bool | redViolation (const RBNode *p_r, const RBNode *x) |
| static bool | validParents (const RBNode *p, int xID, const RBNode *x) |
| static bool | inOrder (const RBNode *x, int lowerBound, int upperBound) |
Copyright (C) 2011 University of Rochester Department of Computer Science and Lehigh University Department of Computer Science and Engineering
License: Modified BSD Please see the file LICENSE.RSTM for licensing information
|
private |
| RBTree::RBTree | ( | ) |
|
staticprivate |
|
staticprivate |
| void RBTree::insert | ( | int val | TM_ARG | ) |
| bool RBTree::isSane | ( | void | ) | const |
| bool RBTree::lookup | ( | int val | TM_ARG | ) | const |
| void RBTree::modify | ( | int val | TM_ARG | ) |
| void RBTree::remove | ( | int val | TM_ARG | ) |
| RBNode* RBTree::sentinel |