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

History | View | Annotate | Download (1.61 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:17:30 |
||

5 | (* |
||

6 | Original block name: Assignment3 |
||

7 | *) |
||

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

9 | In1_2 : real; |
||

10 | In1_3 : real; |
||

11 | In1_4 : real; |
||

12 | In1_5 : real; |
||

13 | In1_6 : real; |
||

14 | In1_7 : real; |
||

15 | In1_8 : real; |
||

16 | In1_9 : real; |
||

17 | In1_10 : real; |
||

18 | In1_11 : real; |
||

19 | In1_12 : real; |
||

20 | In2_1 : real; |
||

21 | In2_2 : real; |
||

22 | In2_3 : real;) |
||

23 | returns(Out7_1 : real; |
||

24 | Out7_2 : real; |
||

25 | Out7_3 : real; |
||

26 | Out7_4 : real; |
||

27 | Out7_5 : real; |
||

28 | Out7_6 : real; |
||

29 | Out7_7 : real; |
||

30 | Out7_8 : real; |
||

31 | Out7_9 : real; |
||

32 | Out7_10 : real; |
||

33 | Out7_11 : real; |
||

34 | Out7_12 : real;); |
||

35 | var Assignment6_1 : real; |
||

36 | Assignment6_2 : real; |
||

37 | Assignment6_3 : real; |
||

38 | Assignment6_4 : real; |
||

39 | Assignment6_5 : real; |
||

40 | Assignment6_6 : real; |
||

41 | Assignment6_7 : real; |
||

42 | Assignment6_8 : real; |
||

43 | Assignment6_9 : real; |
||

44 | Assignment6_10 : real; |
||

45 | Assignment6_11 : real; |
||

46 | Assignment6_12 : real; |
||

47 | __time_step : real; |
||

48 | __nb_step : int; |
||

49 | let |
||

50 | Assignment6_1 = In2_1; |
||

51 | Assignment6_2 = In1_2; |
||

52 | Assignment6_3 = In2_2; |
||

53 | Assignment6_4 = In2_3; |
||

54 | Assignment6_5 = In1_5; |
||

55 | Assignment6_6 = In1_6; |
||

56 | Assignment6_7 = In1_7; |
||

57 | Assignment6_8 = In1_8; |
||

58 | Assignment6_9 = In1_9; |
||

59 | Assignment6_10 = In1_10; |
||

60 | Assignment6_11 = In1_11; |
||

61 | Assignment6_12 = In1_12; |
||

62 | Out7_1 = Assignment6_1; |
||

63 | Out7_2 = Assignment6_2; |
||

64 | Out7_3 = Assignment6_3; |
||

65 | Out7_4 = Assignment6_4; |
||

66 | Out7_5 = Assignment6_5; |
||

67 | Out7_6 = Assignment6_6; |
||

68 | Out7_7 = Assignment6_7; |
||

69 | Out7_8 = Assignment6_8; |
||

70 | Out7_9 = Assignment6_9; |
||

71 | Out7_10 = Assignment6_10; |
||

72 | Out7_11 = Assignment6_11; |
||

73 | Out7_12 = Assignment6_12; |
||

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

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

76 | tel |