source:
doc/papers/general/evaluation/cfa-stack.h
@
ce1d721
Last change on this file since ce1d721 was 4c80a75, checked in by , 6 years ago | |
---|---|
|
|
File size: 352 bytes |
Rev | Line | |
---|---|---|
[604e76d] | 1 | #pragma once |
2 | ||
[ac4dad2] | 3 | forall( otype T ) { |
4 | struct node; | |
5 | struct stack { | |
6 | node(T) * head; | |
7 | }; | |
[604e76d] | 8 | |
[ac4dad2] | 9 | void ?{}( stack(T) & s, stack(T) t ); |
10 | void clear( stack(T) & s ); | |
[4c80a75] | 11 | void ?{}( stack(T) & s ); |
12 | void ^?{}( stack(T) & s); | |
[604e76d] | 13 | |
[ac4dad2] | 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.