Changes in doc/papers/general/evaluation/c-stack.h [e59f0bf:ac4dad2]

File:

• doc/papers/general/evaluation/c-stack.h (modified) (1 diff)

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

@@ -1 +1 @@
 #pragma once
 
-struct stack_node;
-struct stack {
-        struct stack_node* head;
-};
+struct node;
+typedef struct stack {
+        struct node * head;
+} stack;
 
-struct stack new_stack();
-void copy_stack(struct stack* dst, const struct stack* src, void* (*copy)(const void*));
-struct stack* assign_stack(struct stack* dst, const struct stack* src, 
-        void* (*copy_el)(const void*), void (*free_el)(void*));
-void clear_stack(struct stack* s, void (*free_el)(void*));
+stack new_stack();
+void copy_stack(stack * dst, const stack * src, void * (* copy)(const void *));
+stack * assign_stack( stack * dst, const stack * src, 
+        void * (* copy_el)(const void *), void (* free_el)(void *));
+void clear_stack(stack * s, void (*free_el)(void *));
 
-_Bool stack_empty(const struct stack* s);
-void push_stack(struct stack* s, void* value);
-void* pop_stack(struct stack* s);
+_Bool stack_empty( const stack * s );
+void push_stack( stack * s, void * value );
+void * pop_stack( stack * s );