| Last change
 on this file since 502ded0 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 |  | 
|---|
| 3 | forall( 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.