source: doc/papers/general/evaluation/cfa-stack.h@ 418882af

ADT ast-experimental
Last change on this file since 418882af 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.