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
RevLine 
[604e76d]1#pragma once
2
[ac4dad2]3struct node;
4typedef struct stack {
5        struct node * head;
6} stack;
[604e76d]7
[ac4dad2]8void copy_stack(stack * dst, const stack * src, void * (* copy)(const void *));
[4c80a75]9void clear_stack(stack * s, void (*free_el)(void *));
10stack new_stack();
[ac4dad2]11stack * assign_stack( stack * dst, const stack * src, 
12        void * (* copy_el)(const void *), void (* free_el)(void *));
[604e76d]13
[ac4dad2]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.