Project

General

Profile

Download (629 Bytes) Statistics
| Branch: | Tag: | Revision:
1
/* C code generated by lustrec
2
   SVN version number 327
3
   Code is C99 compliant */
4
   
5
#ifndef ___/__/__/TESTS/KIND_FMCAD08/MISC/_6COUNTERS
6
#define ___/__/__/TESTS/KIND_FMCAD08/MISC/_6COUNTERS
7

    
8
/* Imports standard library */
9
#include "/usr/local/include/lustrec/arrow.h"
10

    
11

    
12
/* Import dependencies */
13

    
14
/* Types definitions */
15

    
16
/* Global constant (declarations, definitions are in C file) */
17

    
18
/* Struct declarations */
19
struct top_mem;
20

    
21
/* Nodes declarations */
22
extern void top_reset (struct top_mem *self);
23

    
24
extern void top_step (_Bool x, 
25
                      _Bool (*OK),
26
                      struct top_mem *self);
27

    
28

    
29
#endif
30

    
(11-11/337)