Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / simulation / fast_2_e8_976.lusi @ 0c9457a0

History | View | Annotate | Download (1.3 KB)

1 b8dc00eb bourbouh
(* Generated Lustre Interface file from fast_2_e8_976.lus *)
2
(* generated by Lustre-C compiler version 284, 2014/5/25, 15:1:58 *)
3
(* feel free to mask some of the nodes by removing them from this file. *)
4
5
node prev_no_button (ccseti: bool; ccsetd: bool; ccr: bool) returns (pnb: bool);
6
7
8
function one_button (ccseti: bool; ccsetd: bool; ccr: bool) returns (ob: bool);
9
10
11
node PosEdge (X: bool) returns (Y: bool);
12
13
14
node AtLeastOnceSince (X: bool; Y: bool) returns (XsinceY: bool);
15
16
17
node MoreThanTwoSec (X: bool) returns (Y: bool);
18
19
20
node MoreThanOneSec (X: bool) returns (Y: bool);
21
22
23
node one_button_accept (ccseti: bool; ccsetd: bool; ccr: bool; ccont: bool; cca: bool) returns (oba: bool);
24
25
26
node cc_allowed (ccont: bool; igsw: bool; bpa: bool; cccanc: bool; battok: bool; gearok: bool; qfok: bool; sdok: bool; accok: bool; vs: int) returns (ccall: bool);
27
28
29
node Edge (X: bool) returns (Y: bool);
30
31
32
node main (igsw: bool; ccd: bool; cconoff: bool; bpa: bool; cccanc: bool; battok: bool; gearok: bool; qfok: bool; sdok: bool; accok: bool; ccseti: bool; ccsetd: bool; ccr: bool; vs: int) returns (ccont: bool; cca: bool);
33
34
35
node top (igsw: bool; ccd: bool; cconoff: bool; bpa: bool; cccanc: bool; battok: bool; gearok: bool; qfok: bool; sdok: bool; accok: bool; ccseti: bool; ccsetd: bool; ccr: bool; vs: int) returns (OK: bool);
36