view src/llrb/include/stack.h @ 502:8d997f0c9b2c

stack.agda comment
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 01 Jan 2018 18:58:05 +0900
parents 12d8e3c8976d
children
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();