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

History | View | Annotate | Download (1.84 KB)

1 |
-- This file has been generated by CoCoSim2. |
---|---|

2 | |

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

4 |
-- Time: 03-Dec-2018 23:09:53 |

5 |
(* |

6 |
Original block name: auto_dataType_Error_PP |

7 |
*) |

8 |
node auto_dataType_Error_PP(_virtual : bool;) |

9 |
returns(Out2_1 : real; |

10 |
Out2_2 : real; |

11 |
Out2_3 : real; |

12 |
Out1_1 : real; |

13 |
Out1_2 : real; |

14 |
Out1_3 : real;); |

15 |
var BusCreator1_1 : real; |

16 |
BusCreator1_2 : real; |

17 |
BusCreator1_3 : real; |

18 |
BusCreator1_4 : real; |

19 |
BusCreator1_5 : real; |

20 |
BusCreator1_6 : real; |

21 |
BusSelector_1 : real; |

22 |
BusSelector_2 : real; |

23 |
BusSelector_3 : real; |

24 |
BusSelector_4 : real; |

25 |
BusSelector_5 : real; |

26 |
BusSelector_6 : real; |

27 |
Constant_1 : real; |

28 |
Gain_1 : real; |

29 |
Gain1_1 : real; |

30 |
Gain2_1 : real; |

31 |
Gain3_1 : real; |

32 |
Gain4_1 : real; |

33 |
Gain5_1 : real; |

34 |
Mux2_1 : real; |

35 |
Mux2_2 : real; |

36 |
Mux2_3 : real; |

37 |
Mux3_1 : real; |

38 |
Mux3_2 : real; |

39 |
Mux3_3 : real; |

40 |
__time_step : real; |

41 |
__nb_step : int; |

42 |
let |

43 |
BusCreator1_1 = Mux2_1; |

44 |
BusCreator1_2 = Mux2_2; |

45 |
BusCreator1_3 = Mux2_3; |

46 |
BusCreator1_4 = Mux3_1; |

47 |
BusCreator1_5 = Mux3_2; |

48 |
BusCreator1_6 = Mux3_3; |

49 |
BusSelector_1 = BusCreator1_4; |

50 |
BusSelector_2 = BusCreator1_5; |

51 |
BusSelector_3 = BusCreator1_6; |

52 |
BusSelector_4 = BusCreator1_1; |

53 |
BusSelector_5 = BusCreator1_2; |

54 |
BusSelector_6 = BusCreator1_3; |

55 |
Constant_1 = 1.000000000000000; |

56 |
Gain_1 = (Constant_1 * 1.000000000000000); |

57 |
Gain1_1 = (Constant_1 * 2.000000000000000); |

58 |
Gain2_1 = (Constant_1 * 3.000000000000000); |

59 |
Gain3_1 = (Constant_1 * 4.000000000000000); |

60 |
Gain4_1 = (Constant_1 * 5.000000000000000); |

61 |
Gain5_1 = (Constant_1 * 6.000000000000000); |

62 |
Mux2_1 = Gain_1; |

63 |
Mux2_2 = Gain1_1; |

64 |
Mux2_3 = Gain2_1; |

65 |
Mux3_1 = Gain3_1; |

66 |
Mux3_2 = Gain4_1; |

67 |
Mux3_3 = Gain5_1; |

68 |
Out2_1 = BusSelector_1; |

69 |
Out2_2 = BusSelector_2; |

70 |
Out2_3 = BusSelector_3; |

71 |
Out1_1 = BusSelector_4; |

72 |
Out1_2 = BusSelector_5; |

73 |
Out1_3 = BusSelector_6; |

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

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

76 |
tel |

77 |