Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/context.h @ 172:661b0b0d0399
replace Tree to RedBlackTree
author | ikkun |
---|---|
date | Thu, 24 Nov 2016 20:22:17 +0900 |
parents | 747067fe46bd |
children | f0427e27dd7b |
line wrap: on
line diff
--- a/src/parallel_execution/context.h Thu Nov 24 16:29:46 2016 +0900 +++ b/src/parallel_execution/context.h Thu Nov 24 20:22:17 2016 +0900 @@ -249,7 +249,7 @@ enum Code clear; enum Code next; } Tree; - struct Traverse { + struct RedBlackTree { struct Node* root; struct Node* current; // reading node of original tree struct Node* previous; // parent of reading node of original tree @@ -258,10 +258,10 @@ struct Node* grandparent; struct Stack* nodeStack; int result; - } Traverse; + } RedBlackTree; struct RotateTree { enum Code next; - struct Traverse* traverse; + struct RedBlackTree* traverse; struct Tree* tree; } rotateTree; struct Node { @@ -300,7 +300,6 @@ typedef struct Array Array; typedef struct RedBlackTree RedBlackTree; typedef struct Tree Tree; -typedef struct Traverse Traverse; typedef struct RotateTree RotateTree; typedef struct Node Node; typedef struct Allocate Allocate;