source: doc/papers/OOPSLA17/evaluation/c-stack.h @ 2514d3d7

Last change on this file since 2514d3d7 was f4e3419d, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

restructure paper documents

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