Mercurial > hg > Gears > GearsAgda
diff src/llrb/llrbContext.c @ 69:368306e1bfed
llrb deletion(not work).
| author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 20 Oct 2015 16:22:42 +0900 |
| parents | 025fd6e90597 |
| children | 5c4b9d116eda |
line wrap: on
line diff
--- a/src/llrb/llrbContext.c Tue Sep 15 15:21:50 2015 +0900 +++ b/src/llrb/llrbContext.c Tue Oct 20 16:22:42 2015 +0900 @@ -7,7 +7,9 @@ extern __code code3_stub(struct Context*); extern __code code4(struct Context*); extern __code code5(struct Context*); -extern __code code6_stub(struct Context*); +extern __code find(struct Context*); +extern __code not_find(struct Context*); +extern __code code6(struct Context*); extern __code meta(struct Context*); extern __code put_stub(struct Context*); extern __code replaceNode_stub(struct Context*); @@ -18,7 +20,11 @@ extern __code fixUp_stub(struct Context*); extern __code changeReference_stub(struct Context*); extern __code get_stub(struct Context*); -extern __code traverse_stub(struct Context*); +extern __code delete_stub(struct Context*); +extern __code deleteMax_stub(struct Context*); +extern __code deleteMin_stub(struct Context*); +extern __code replaceNode_d_stub(struct Context*); +extern __code max_stub(struct Context*); extern __code exit_code(struct Context*); __code initLLRBContext(struct Context* context) { @@ -33,6 +39,9 @@ context->code[Code3] = code3_stub; context->code[Code4] = code4; context->code[Code5] = code5; + context->code[Find] = find; + context->code[Not_find] = not_find; + context->code[Code6] = code6; context->code[Put] = put_stub; context->code[Replace] = replaceNode_stub; context->code[Insert] = insertNode_stub; @@ -41,6 +50,12 @@ context->code[ColorFlip] = colorFlip_stub; context->code[FixUp] = fixUp_stub; context->code[ChangeRef] = changeReference_stub; + context->code[Get] = get_stub; + context->code[Delete] = delete_stub; + context->code[DeleteMax] = deleteMax_stub; + // context->code[DeleteMin] = deleteMin_stub; + context->code[Replace_d] = replaceNode_d_stub; + context->code[Max] = max_stub; context->code[Exit] = exit_code; context->heap = context->heapStart;