1 
4748b215

hbourbou

(* Generated Lustre Interface file from Fcn1_PP.LUSTREC.lus *)

2 


(* by LustreC compiler version 1.7888@GITBRANCH@, 2018/11/4, 20:22:13 *)

3 


(* Feel free to mask some of the definitions by removing them from this file. *)

4 



5 


#open <lustrec_math>

6 



7 


function bool_to_real (x: bool) returns (y: real);

8 



9 


node Fcn1_PP (In1_1: real;

10 


In1_2: real;

11 


In1_3: real;

12 


In1_4: real;

13 


In2_1: real;

14 


In2_2: real;

15 


In2_3: real;

16 


In2_4: real;

17 


In2_5: real;

18 


In2_6: real;

19 


In3_1: real;

20 


In3_2: real;

21 


In3_3: real;

22 


In3_4: real;

23 


In4_1: real;

24 


In4_2: real;

25 


In4_3: real;

26 


In5_1: real;

27 


In5_2: real;

28 


In5_3: real;

29 


In6_1: real;

30 


In6_2: real;

31 


In6_3: real;

32 


In6_4: real;

33 


In6_5: real;

34 


In6_6: real) returns (Out1_1: real;

35 


Out2_1: real;

36 


Out3_1: real;

37 


Out4_1: real;

38 


Out5_1: real;

39 


Out6_1: real);

40 


