Mercurial > hg > Gears > GearsAgda
view src/llrb/llrbContext.h @ 69:368306e1bfed
llrb deletion(not work).
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 20 Oct 2015 16:22:42 +0900 |
parents | 025fd6e90597 |
children | 5c4b9d116eda |
line wrap: on
line source
/* Context definition for llrb example */ #define ALLOCATE_SIZE 100 enum Code { Code1, Code2, Code3, Code4, Code5, Find, Not_find, Code6, Allocator, Put, Replace, Insert, Compare, Create, RotateL, RotateR, ColorFlip, FixUp, ChangeRef, Get, Delete, DeleteMax, DeleteMin, Replace_d, Max, Exit, }; enum UniqueData { Allocate, Tree, Node, }; struct Context { enum Code next; int codeNum; __code (**code) (struct Context*); void* heapStart; void* heap; long heapLimit; int dataNum; union Data **data; }; union Data { struct Comparable { // inteface enum Code compare; union Data* data; } compare; struct Count { enum Code next; long i; } count; struct Tree { enum Code next; struct Node* root; struct Node* current; struct Node* prev; int result; } tree; struct Node { enum Code next; int key; // comparable data segment int value; enum Color { Red, Black, } color; struct Node* left; struct Node* right; } node; struct Allocate { enum Code next; long size; } allocate; };