Mercurial > hg > Gears > GearsAgda

comparison src/llrb/llrbContext.h @ 46:348148d8fdb1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
implement get
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Tue, 19 May 2015 17:46:41 +0900
parents a0a58875c93f
children 399ed10d1760
comparison
equal deleted inserted replaced
44:a0a58875c93f 46:348148d8fdb1
6 Code1, 6 Code1,
7 Code2, 7 Code2,
8 Code3, 8 Code3,
9 Code4, 9 Code4,
10 Code5, 10 Code5,
11 Code6,
11 Allocator, 12 Allocator,
12 Put, 13 Put,
13 Replace, 14 Replace,
14 Insert, 15 Insert,
15 Compare, 16 Compare,
17 RotateL, 18 RotateL,
18 RotateR, 19 RotateR,
19 ColorFlip, 20 ColorFlip,
20 FixUp, 21 FixUp,
21 ChangeRef, 22 ChangeRef,
23 Get,
24 Traverse,
22 Exit, 25 Exit,
23 }; 26 };
24 27
25 enum UniqueData { 28 enum UniqueData {
26 Allocate, 29 Allocate,
32 struct Context { 35 struct Context {
33 int codeNum; 36 int codeNum;
34 __code (**code) (struct Context *); 37 __code (**code) (struct Context *);
35 void* heap_start; 38 void* heap_start;
36 void* heap; 39 void* heap;
37 union Data* root;
38 union Data* current;
39 long dataSize; 40 long dataSize;
40 int dataNum; 41 int dataNum;
41 union Data **data; 42 union Data **data;
42 }; 43 };
43 44