Mercurial > hg > Gears > GearsAgda
view src/llrb/llrbContext.h @ 46:348148d8fdb1
implement get
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 19 May 2015 17:46:41 +0900 |
parents | a0a58875c93f |
children | 399ed10d1760 |
line wrap: on
line source
/* Context definition for llrb example */ #define ALLOCATE_SIZE 100 enum Code { Code1, Code2, Code3, Code4, Code5, Code6, Allocator, Put, Replace, Insert, Compare, Create, RotateL, RotateR, ColorFlip, FixUp, ChangeRef, Get, Traverse, Exit, }; enum UniqueData { Allocate, Tree, Node, Next, }; struct Context { int codeNum; __code (**code) (struct Context *); void* heap_start; void* heap; long dataSize; int dataNum; union Data **data; }; union Data { long count; enum Code next; struct Tree { struct Node* root; struct Node* current; struct Node* prev; int result; } tree; struct Node { int key; int value; enum Color { Red, Black, } color; struct Node* left; struct Node* right; } node; struct Allocate { long size; enum Code next; } allocate; };