1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 22:33:30

5

#open <conv>

6

(*

7

Original block name: DotProduct_PP/DotProduct

8

*)

9

node DotProduct_51_097(In1_1 : real;

10

In1_2 : real;

11

In1_3 : real;

12

In2_1 : real;

13

In2_2 : real;

14

In2_3 : real;

15

__time_step : real;

16

__nb_step : int;)

17

returns(Out1_1 : real;);

18

var Product_1 : real;

19

Product_2 : real;

20

Product_3 : real;

21

Sum_1 : real;

22

let

23

Product_1 = 1.0 * In1_1 * In2_1;

24

Product_2 = 1.0 * In1_2 * In2_2;

25

Product_3 = 1.0 * In1_3 * In2_3;

26

Sum_1 = 0.0 + Product_1 + Product_2 + Product_3;

27

Out1_1 = Sum_1;

28

tel

29


30

(*

31

Original block name: DotProduct_PP/DotProduct1

32

*)

33

node DotProduct1_52_087(In1_1 : int;

34

In1_2 : int;

35

In1_3 : int;

36

In2_1 : int;

37

__time_step : real;

38

__nb_step : int;)

39

returns(Out1_1 : real;);

40

var Product_1 : real;

41

Product_2 : real;

42

Product_3 : real;

43

Sum_1 : real;

44

let

45

Product_1 = 1.0 * int_to_real(In1_1) * int_to_real(In2_1);

46

Product_2 = 1.0 * int_to_real(In1_2) * int_to_real(In2_1);

47

Product_3 = 1.0 * int_to_real(In1_3) * int_to_real(In2_1);

48

Sum_1 = 0.0 + Product_1 + Product_2 + Product_3;

49

Out1_1 = Sum_1;

50

tel

51


52

(*

53

Original block name: DotProduct_PP

54

*)

55

node DotProduct_PP(x_1 : int;

56

x_2 : int;

57

x_3 : int;

58

y_1 : int;)

59

returns(Out1_1 : real;

60

Out5_1 : real;);

61

var Constant2_1 : real;

62

Constant2_2 : real;

63

Constant2_3 : real;

64

Constant5_1 : real;

65

Constant5_2 : real;

66

Constant5_3 : real;

67

DotProduct_1 : real;

68

DotProduct1_1 : real;

69

Product_1 : real;

70

Product_2 : real;

71

Product_3 : real;

72

Sum_1 : real;

73

__time_step : real;

74

__nb_step : int;

75

let

76

Constant2_1 = 1.000000000000000;

77

Constant2_2 = 2.000000000000000;

78

Constant2_3 = 3.000000000000000;

79

Constant5_1 = 10.000000000000000;

80

Constant5_2 = 20.000000000000000;

81

Constant5_3 = 30.000000000000000;

82

DotProduct_1 = DotProduct_51_097(Constant5_1, Constant5_2, Constant5_3, Constant2_1, Constant2_2, Constant2_3, __time_step, __nb_step);

83

DotProduct1_1 = DotProduct1_52_087(x_1, x_2, x_3, y_1, __time_step, __nb_step);

84

Product_1 = 1.0 * Constant5_1 * Constant2_1;

85

Product_2 = 1.0 * Constant5_2 * Constant2_2;

86

Product_3 = 1.0 * Constant5_3 * Constant2_3;

87

Sum_1 = 0.0 + Product_1 + Product_2 + Product_3;

88

Out1_1 = DotProduct1_1;

89

Out5_1 = DotProduct_1;

90

__time_step = (0.0 > ((pre __time_step) + 0.200000000000000));

91

__nb_step = (0 > ((pre __nb_step) + 1));

92

tel

93

