Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/context.h @ 144:d529c024e5a5
name fixes
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 10 Nov 2016 07:33:10 +0900 |
parents | 34a7a21edc36 |
children | cc071cf1ba85 |
line wrap: on
line diff
--- a/src/parallel_execution/context.h Wed Nov 09 22:33:16 2016 +0900 +++ b/src/parallel_execution/context.h Thu Nov 10 07:33:10 2016 +0900 @@ -35,34 +35,34 @@ meta->type; }) enum Code { - Code1, - Code2, - Code3, - Code4, - Code5, - Find, + C_code1, + C_code2, + C_code3, + C_code4, + C_code5, + C_find, Not_find, Code6, Allocator, - PutTree, - Replace, - Replace1, - Insert, + C_put, + C_replaceNode, + C_replaceNode1, + C_insertNode, Compare, - RotateL, - RotateL1, - RotateR, - RotateR1, + C_rotateLeft, + C_rotateLeft1, + C_rotateRight, + C_rotateRight1, SetTree, - InsertCase1, - InsertCase2, - InsertCase3, - InsertCase4, - InsertCase5, - InsertCase51, - StackClear, - Get, - Search, + C_insertCase1, + C_insertCase2, + C_insertCase3, + C_insertCase4, + C_insertCase5, + C_insertCase51, + C_stackClear, + C_get, + C_search, Delete, Delete1, Delete2, @@ -90,12 +90,12 @@ PutQueue3, PutQueue4, GetQueue, - PushSingleLinkedStack, - PopSingleLinkedStack, - Pop2SingleLinkedStack, - GetSingleLinkedStack, - Get2SingleLinkedStack, - IsEmptySingleLinkedStack, + C_pushSingleLinkedStack, + C_popSingleLinkedStack, + C_pop2SingleLinkedStack, + C_getSingleLinkedStack, + C_get2SingleLinkedStack, + C_isEmptySingleLinkedStack, SpawnTask, Twice, StartTime,