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

History | View | Annotate | Download (1.61 KB)

1 |
-- 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 |

77 |