source: doc/papers/general/evaluation/c-stack.h @ a951171

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since a951171 was 4c80a75, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

update evaluation programs

  • Property mode set to 100644
File size: 465 bytes
Line 
1#pragma once
2
3struct node;
4typedef struct stack {
5        struct node * head;
6} stack;
7
8void copy_stack(stack * dst, const stack * src, void * (* copy)(const void *));
9void clear_stack(stack * s, void (*free_el)(void *));
10stack new_stack();
11stack * assign_stack( stack * dst, const stack * src, 
12        void * (* copy_el)(const void *), void (* free_el)(void *));
13
14_Bool stack_empty( const stack * s );
15void push_stack( stack * s, void * value );
16void * pop_stack( stack * s );
Note: See TracBrowser for help on using the repository browser.