Project

General

Profile

Download (629 Bytes) Statistics
| Branch: | Tag: | Revision:
1 b8dc00eb bourbouh
/* 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