Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/stack.h @ 143:34a7a21edc36
recude stack get using traverse field
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 09 Nov 2016 22:33:16 +0900 |
parents | f31b4e4bf4bb |
children | cc071cf1ba85 |
line wrap: on
line source
extern union Data* createSingleLinkedStack(struct Context* context); extern __code pushSingleLinkedStack_stub(struct Context* context) ; extern __code popSingleLinkedStack_stub(struct Context* context) ; extern __code pop2SingleLinkedStack_stub(struct Context* context) ; extern __code getSingleLinkedStack_stub(struct Context* context) ; extern __code get2SingleLinkedStack_stub(struct Context* context) ; extern __code isEmptySingleLinkedStack_stub(struct Context* context) ;