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 |