Mercurial > hg > Gears > GearsAgda

annotate src/parallel_execution/Tree.cbc @ 415:eec6553a2aa6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix redblacktree
author mir3636
date Thu, 05 Oct 2017 17:00:48 +0900
parents 27bc962020de
children 1432d924c472
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
415
eec6553a2aa6 fix redblacktree
mir3636
parents: 276
diff changeset
1 typedef struct Tree<Type, Impl>{
eec6553a2aa6 fix redblacktree
mir3636
parents: 276
diff changeset
2 Type* tree;
eec6553a2aa6 fix redblacktree
mir3636
parents: 276
diff changeset
3 Type* node;
eec6553a2aa6 fix redblacktree
mir3636
parents: 276
diff changeset
4 __code put(Impl* tree, Type* node, Type* root, Type* newNode);
eec6553a2aa6 fix redblacktree
mir3636
parents: 276
diff changeset
5 __code get(Impl* tree, __code next(...));
276
27bc962020de add SynchronizedQueue.cbc
mir3636
parents:
diff changeset
6 // __code removeRedBlackTree();
27bc962020de add SynchronizedQueue.cbc
mir3636
parents:
diff changeset
7 // __code clearRedBlackTree();
27bc962020de add SynchronizedQueue.cbc
mir3636
parents:
diff changeset
8 __code next(...);
27bc962020de add SynchronizedQueue.cbc
mir3636
parents:
diff changeset
9 } Tree;