Mercurial > hg > Gears > GearsAgda

diff src/parallel_execution/context.h @ 134:2eccf4564efe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
line wrap: on
line diff
--- a/src/parallel_execution/context.h	Mon Nov 07 21:12:19 2016 +0900
+++ b/src/parallel_execution/context.h	Tue Nov 08 10:44:39 2016 +0900
@@ -50,7 +50,9 @@
     Insert,
     Compare,
     RotateL,
+    RotateL1,
     RotateR,
+    RotateR1,
     SetTree,
     InsertCase1,
     InsertCase2,
@@ -62,6 +64,7 @@
     InsertCase4_1,
     InsertCase4_2,
     InsertCase5,
+    InsertCase51,
     StackClear,
     Get,
     Search,
@@ -196,6 +199,7 @@
         enum Code pop2;
         enum Code isEmpty;
         enum Code whenEmpty;
+        enum Code get;
         enum Code get2;
         enum Code next;
     } stack;