Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/stack.h @ 106:828ab677c8ef
Add dependency data to task DS
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 11 Apr 2016 01:44:23 +0900 |
parents | 9e139a340bd1 |
children | 2bb5e4f0fd35 |
line wrap: on
line source
#include <stdlib.h> typedef struct { size_t size; int max; int num; void* data; } stack, *stack_ptr; extern stack_ptr stack_init(); extern stack_ptr stack_realloc(); extern void stack_free(); extern int stack_push(); extern int stack_pop(); extern int isMax(); extern int isEmpty();