view src/parallel_execution/verifier/llrbContextWithVerifier.h @ 382:f1d111e293c4

Enable Timer for bitonicSort
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Mon, 24 Jul 2017 20:05:08 +0900
parents e6bc0a4c2c36
children
line wrap: on
line source

#include "llrbContext.h"

unsigned int min_height(struct Node* node, unsigned int height);
unsigned int max_height(struct Node* node, unsigned int height);
void verify_tree_height(struct Node* root);