Project

General

Profile

Download (2.22 KB) Statistics
| Branch: | Tag: | Revision:
1
/* C code generated by lustrec
2
   SVN version number 1.0-453
3
   Code is C99 compliant */
4
   
5
#ifndef _PFS_ORACLE
6
#define _PFS_ORACLE
7

    
8
/* Imports standard library */
9
#include "/home/ploc/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 PFS_oracle_mem;
20
struct SinceLENotZero_mem;
21
struct SinceGTOrZero_mem;
22
struct Rise_mem;
23
struct Fall_mem;
24
struct Changed_mem;
25
struct Since_mem;
26

    
27
/* Nodes declarations */
28
extern void PFS_oracle_reset (struct PFS_oracle_mem *self);
29

    
30
extern void PFS_oracle_step (_Bool TS, _Bool LPFS, _Bool RPFS, 
31
                             _Bool (*output_global),
32
                             _Bool (*output_inhibited_R2_R3),
33
                             _Bool (*output_unchanged_nop_R5),
34
                             _Bool (*output_change_R3_Rise),
35
                             _Bool (*output_change_R3_Fall),
36
                             struct PFS_oracle_mem *self);
37

    
38
extern void SinceLENotZero_reset (struct SinceLENotZero_mem *self);
39

    
40
extern void SinceLENotZero_step (_Bool in, int max, 
41
                                 _Bool (*out),
42
                                 struct SinceLENotZero_mem *self);
43

    
44
extern void SinceGTOrZero_reset (struct SinceGTOrZero_mem *self);
45

    
46
extern void SinceGTOrZero_step (_Bool in, int min, 
47
                                _Bool (*out),
48
                                struct SinceGTOrZero_mem *self);
49

    
50
extern void Rise_reset (struct Rise_mem *self);
51

    
52
extern void Rise_step (_Bool p, 
53
                       _Bool (*r),
54
                       struct Rise_mem *self);
55

    
56
extern void Fall_reset (struct Fall_mem *self);
57

    
58
extern void Fall_step (_Bool p, 
59
                       _Bool (*r),
60
                       struct Fall_mem *self);
61

    
62
extern void Changed_reset (struct Changed_mem *self);
63

    
64
extern void Changed_step (_Bool p, 
65
                          _Bool (*r),
66
                          struct Changed_mem *self);
67

    
68
extern void Since_reset (struct Since_mem *self);
69

    
70
extern void Since_step (_Bool p, 
71
                        int (*r),
72
                        struct Since_mem *self);
73

    
74
extern void b2i_step (_Bool b, 
75
                      int (*i)
76
                      );
77

    
78

    
79
#endif
80

    
(1-1/3)