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
|
|