Mercurial > hg > Gears > GearsAgda

comparison src/llrb/llrbContext.h @ 69:368306e1bfed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
66:a870c84acd0e 69:368306e1bfed
1 /* Context definition for llrb example */ 1 /* Context definition for llrb example */
2
3 #define ALLOCATE_SIZE 100 2 #define ALLOCATE_SIZE 100
4 3
5 enum Code { 4 enum Code {
6 Code1, 5 Code1,
7 Code2, 6 Code2,
8 Code3, 7 Code3,
9 Code4, 8 Code4,
10 Code5, 9 Code5,
10 Find,
11 Not_find,
11 Code6, 12 Code6,
12 Allocator, 13 Allocator,
13 Put, 14 Put,
14 Replace, 15 Replace,
15 Insert, 16 Insert,
19 RotateR, 20 RotateR,
20 ColorFlip, 21 ColorFlip,
21 FixUp, 22 FixUp,
22 ChangeRef, 23 ChangeRef,
23 Get, 24 Get,
24 Traverse, 25 Delete,
26 DeleteMax,
27 DeleteMin,
28 Replace_d,
29 Max,
25 Exit, 30 Exit,
26 }; 31 };
27 32
28 enum UniqueData { 33 enum UniqueData {
29 Allocate, 34 Allocate,