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

Last change on this file was 4c80a75, checked in by Peter A. Buhr <pabuhr@…>, 6 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.