Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/Stack.h @ 504:0bec9490c199
stack.agda comment
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 01 Jan 2018 19:17:01 +0900 |
parents | 6b71cf5b1c22 |
children |
line wrap: on
line source
typedef struct Stack<Type, Impl>{ union Data* stack; union Data* data; union Data* data1; /* Type* stack; */ /* Type* data; */ /* Type* data1; */ __code whenEmpty(...); __code clear(Impl* stack,__code next(...)); __code push(Impl* stack,Type* data, __code next(...)); __code pop(Impl* stack, __code next(Type* data, ...)); __code pop2(Impl* stack, __code next(Type* data, Type* data1, ...)); __code isEmpty(Impl* stack, __code next(...), __code whenEmpty(...)); __code get(Impl* stack, __code next(Type* data, ...)); __code get2(Impl* stack, __code next(Type* data, Type* data1, ...)); __code next(...); } Stack;