## lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / Mux2_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (1.2 KB)

1 | 4748b215 | hbourbou | -- This file has been generated by CoCoSim2. |
---|---|---|---|

2 | |||

3 | -- Compiler: Lustre compiler 2 (ToLustre.m) |
||

4 | -- Time: 03-Dec-2018 22:09:19 |
||

5 | (* |
||

6 | Original block name: Mux2_PP |
||

7 | *) |
||

8 | node Mux2_PP(In1_1 : real; |
||

9 | In2_1 : real; |
||

10 | In3_1 : real; |
||

11 | In4_1 : real; |
||

12 | In4_2 : real; |
||

13 | In4_3 : real; |
||

14 | In5_1 : real; |
||

15 | In5_2 : real; |
||

16 | In6_1 : real; |
||

17 | In6_2 : real; |
||

18 | In6_3 : real;) |
||

19 | returns(Out1_1 : real; |
||

20 | Out1_2 : real; |
||

21 | Out2_1 : real; |
||

22 | Out2_2 : real; |
||

23 | Out2_3 : real; |
||

24 | Out2_4 : real; |
||

25 | Out3_1 : real; |
||

26 | Out3_2 : real; |
||

27 | Out3_3 : real; |
||

28 | Out3_4 : real; |
||

29 | Out3_5 : real;); |
||

30 | var Mux_1 : real; |
||

31 | Mux_2 : real; |
||

32 | Mux1_1 : real; |
||

33 | Mux1_2 : real; |
||

34 | Mux1_3 : real; |
||

35 | Mux1_4 : real; |
||

36 | Mux2_1 : real; |
||

37 | Mux2_2 : real; |
||

38 | Mux2_3 : real; |
||

39 | Mux2_4 : real; |
||

40 | Mux2_5 : real; |
||

41 | __time_step : real; |
||

42 | __nb_step : int; |
||

43 | let |
||

44 | Mux_1 = In1_1; |
||

45 | Mux_2 = In2_1; |
||

46 | Mux1_1 = In3_1; |
||

47 | Mux1_2 = In4_1; |
||

48 | Mux1_3 = In4_2; |
||

49 | Mux1_4 = In4_3; |
||

50 | Mux2_1 = In5_1; |
||

51 | Mux2_2 = In5_2; |
||

52 | Mux2_3 = In6_1; |
||

53 | Mux2_4 = In6_2; |
||

54 | Mux2_5 = In6_3; |
||

55 | Out1_1 = Mux_1; |
||

56 | Out1_2 = Mux_2; |
||

57 | Out2_1 = Mux1_1; |
||

58 | Out2_2 = Mux1_2; |
||

59 | Out2_3 = Mux1_3; |
||

60 | Out2_4 = Mux1_4; |
||

61 | Out3_1 = Mux2_1; |
||

62 | Out3_2 = Mux2_2; |
||

63 | Out3_3 = Mux2_3; |
||

64 | Out3_4 = Mux2_4; |
||

65 | Out3_5 = Mux2_5; |
||

66 | __time_step = (0.0 -> ((pre __time_step) + 0.200000000000000)); |
||

67 | __nb_step = (0 -> ((pre __nb_step) + 1)); |
||

68 | tel |