source: doc/papers/general/evaluation/cfa-stack.h @ 01f78e0

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
Last change on this file since 01f78e0 was 4c80a75, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

update evaluation programs
  • Property mode set to 100644
File size: 352 bytes
Line 
1#pragma once
2
3forall( otype T ) {
4        struct node;
5        struct stack {
6                node(T) * head;
7        };
8
9        void ?{}( stack(T) & s, stack(T) t );
10        void clear( stack(T) & s );
11        void ?{}( stack(T) & s );
12        void ^?{}( stack(T) & s);
13
14        stack(T) ?=?( stack(T) & s, stack(T) t );
15        _Bool empty( const stack(T) & s );
16        void push( stack(T) & s, T value );
17        T pop( stack(T) & s );
18}
Note: See TracBrowser for help on using the repository browser.