Changeset 29db723 for doc/papers/general/evaluation/cfastack.h
 Timestamp:
 Mar 8, 2018, 11:04:14 PM (5 years ago)
 Branches:
 aaronthesis, armeh, cleanupdtors, deferred_resn, demangler, enum, forallpointerdecay, jacob/cs343translation, jenkinssandbox, master, newast, newastuniqueexpr, newenv, no_list, persistentindexer, pthreademulation, qualifiedEnum, resolvnew, with_gc
 Children:
 81e8ab0, e59f0bf
 Parents:
 deb52a0
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

doc/papers/general/evaluation/cfastack.h
rdeb52a0 r29db723 1 1 #pragma once 2 2 3 forall( otype T) struct stack_node;4 forall( otype T) struct stack {3 forall( otype T ) struct stack_node; 4 forall( otype T ) struct stack { 5 5 stack_node(T) * head; 6 6 }; 7 7 8 forall( otype T) void ?{}( stack(T) & s );9 forall( otype T) void ?{}( stack(T) & s, stack(T) t );10 forall( otype T) stack(T) ?=?( stack(T) & s, stack(T) t );11 forall( otype T) void ^?{}( stack(T) & s);8 forall( otype T ) void ?{}( stack(T) & s ); 9 forall( otype T ) void ?{}( stack(T) & s, stack(T) t ); 10 forall( otype T ) stack(T) ?=?( stack(T) & s, stack(T) t ); 11 forall( otype T ) void ^?{}( stack(T) & s); 12 12 13 forall( otype T) _Bool empty( const stack(T) & s );14 forall( otype T) void push( stack(T) & s, T value );15 forall( otype T) T pop( stack(T) & s );16 forall( otype T) void clear( stack(T) & s );13 forall( otype T ) _Bool empty( const stack(T) & s ); 14 forall( otype T ) void push( stack(T) & s, T value ); 15 forall( otype T ) T pop( stack(T) & s ); 16 forall( otype T ) void clear( stack(T) & s );
Note: See TracChangeset
for help on using the changeset viewer.