Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / simulation / fast_1_e8_747_e8_1041.lusi @ 2d37a1e1

History | View | Annotate | Download (1.31 KB)

1
(* Generated Lustre Interface file from fast_1_e8_747_e8_1041.lus *)
2
(* generated by Lustre-C compiler version 284, 2014/5/25, 15:1:59 *)
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

    
37