source: doc/generic_types/evaluation/c-stack.h @ 80cdb2f

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 80cdb2f was 309be81, checked in by Aaron Moss <a3moss@…>, 7 years ago

Started evaluation benchmarks for paper (CFA version doesn't compile yet)

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