source: doc/papers/general/evaluation/cfa-stack.h @ 41624f92

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
Last change on this file since 41624f92 was 29db723, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

additional changes

  • Property mode set to 100644
File size: 510 bytes
RevLine 
[604e76d]1#pragma once
2
[29db723]3forall( otype T ) struct stack_node;
4forall( otype T ) struct stack {
[c9b3a41]5        stack_node(T) * head;
[604e76d]6};
7
[29db723]8forall( otype T ) void ?{}( stack(T) & s );
9forall( otype T ) void ?{}( stack(T) & s, stack(T) t );
10forall( otype T ) stack(T) ?=?( stack(T) & s, stack(T) t );
11forall( otype T ) void ^?{}( stack(T) & s);
[604e76d]12
[29db723]13forall( otype T ) _Bool empty( const stack(T) & s );
14forall( otype T ) void push( stack(T) & s, T value );
15forall( otype T ) T pop( stack(T) & s );
16forall( otype T ) void clear( stack(T) & s );
Note: See TracBrowser for help on using the repository browser.