Mercurial > hg > Gears > GearsAgda
comparison src/parallel_execution/context.h @ 134:2eccf4564efe
fix stack call in rb_tree
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 08 Nov 2016 10:44:39 +0900 |
parents | 568730b1239e |
children | 77a7ccb0d84d |
comparison
equal
deleted
inserted
replaced
133:568730b1239e | 134:2eccf4564efe |
---|---|
48 Replace, | 48 Replace, |
49 Replace1, | 49 Replace1, |
50 Insert, | 50 Insert, |
51 Compare, | 51 Compare, |
52 RotateL, | 52 RotateL, |
53 RotateL1, | |
53 RotateR, | 54 RotateR, |
55 RotateR1, | |
54 SetTree, | 56 SetTree, |
55 InsertCase1, | 57 InsertCase1, |
56 InsertCase2, | 58 InsertCase2, |
57 InsertCase3, | 59 InsertCase3, |
58 InsertCase31, | 60 InsertCase31, |
60 InsertCase4_01, | 62 InsertCase4_01, |
61 InsertCase4_02, | 63 InsertCase4_02, |
62 InsertCase4_1, | 64 InsertCase4_1, |
63 InsertCase4_2, | 65 InsertCase4_2, |
64 InsertCase5, | 66 InsertCase5, |
67 InsertCase51, | |
65 StackClear, | 68 StackClear, |
66 Get, | 69 Get, |
67 Search, | 70 Search, |
68 Delete, | 71 Delete, |
69 Delete1, | 72 Delete1, |
194 enum Code push; | 197 enum Code push; |
195 enum Code pop; | 198 enum Code pop; |
196 enum Code pop2; | 199 enum Code pop2; |
197 enum Code isEmpty; | 200 enum Code isEmpty; |
198 enum Code whenEmpty; | 201 enum Code whenEmpty; |
202 enum Code get; | |
199 enum Code get2; | 203 enum Code get2; |
200 enum Code next; | 204 enum Code next; |
201 } stack; | 205 } stack; |
202 // Stack implementations | 206 // Stack implementations |
203 struct SingleLinkedStack { | 207 struct SingleLinkedStack { |