1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 22:41:23

5

(*

6

Original block name: InportShadow_PP/cross/Subsystem1

7

*)

8

node Subsystem1_95_060(A1_1 : real;

9

A1_2 : real;

10

A1_3 : real;

11

B1_1 : real;

12

B1_2 : real;

13

B1_3 : real;

14

__time_step : real;

15

__nb_step : int;)

16

returns(Out1_1 : real;

17

Out1_2 : real;

18

Out1_3 : real;);

19

var Demux_1 : real;

20

Demux_2 : real;

21

Demux_3 : real;

22

Demux1_1 : real;

23

Demux1_2 : real;

24

Demux1_3 : real;

25

Mux_1 : real;

26

Mux_2 : real;

27

Mux_3 : real;

28

ixj_1 : real;

29

jxk_1 : real;

30

kxi_1 : real;

31

let

32

Demux_1 = A1_1;

33

Demux_2 = A1_2;

34

Demux_3 = A1_3;

35

Demux1_1 = B1_1;

36

Demux1_2 = B1_2;

37

Demux1_3 = B1_3;

38

Mux_1 = jxk_1;

39

Mux_2 = kxi_1;

40

Mux_3 = ixj_1;

41

ixj_1 = 1.0 * Demux_1 * Demux1_2;

42

jxk_1 = 1.0 * Demux_2 * Demux1_3;

43

kxi_1 = 1.0 * Demux_3 * Demux1_1;

44

Out1_1 = Mux_1;

45

Out1_2 = Mux_2;

46

Out1_3 = Mux_3;

47

tel

48


49

(*

50

Original block name: InportShadow_PP/cross/Subsystem2

51

*)

52

node Subsystem2_119_486(A1_1 : real;

53

A1_2 : real;

54

A1_3 : real;

55

B1_1 : real;

56

B1_2 : real;

57

B1_3 : real;

58

__time_step : real;

59

__nb_step : int;)

60

returns(Out1_1 : real;

61

Out1_2 : real;

62

Out1_3 : real;);

63

var Demux_1 : real;

64

Demux_2 : real;

65

Demux_3 : real;

66

Demux1_1 : real;

67

Demux1_2 : real;

68

Demux1_3 : real;

69

Mux_1 : real;

70

Mux_2 : real;

71

Mux_3 : real;

72

ixj_1 : real;

73

jxk_1 : real;

74

kxi_1 : real;

75

let

76

Demux_1 = A1_1;

77

Demux_2 = A1_2;

78

Demux_3 = A1_3;

79

Demux1_1 = B1_1;

80

Demux1_2 = B1_2;

81

Demux1_3 = B1_3;

82

Mux_1 = jxk_1;

83

Mux_2 = kxi_1;

84

Mux_3 = ixj_1;

85

ixj_1 = 1.0 * Demux_1 * Demux1_2;

86

jxk_1 = 1.0 * Demux_2 * Demux1_3;

87

kxi_1 = 1.0 * Demux_3 * Demux1_1;

88

Out1_1 = Mux_1;

89

Out1_2 = Mux_2;

90

Out1_3 = Mux_3;

91

tel

92


93

(*

94

Original block name: InportShadow_PP/cross

95

*)

96

node cross_90_490(A_1 : real;

97

A_2 : real;

98

A_3 : real;

99

B_1 : real;

100

B_2 : real;

101

B_3 : real;

102

__time_step : real;

103

__nb_step : int;)

104

returns(C_1 : real;

105

C_2 : real;

106

C_3 : real;);

107

var Subsystem1_1 : real;

108

Subsystem1_2 : real;

109

Subsystem1_3 : real;

110

Subsystem2_1 : real;

111

Subsystem2_2 : real;

112

Subsystem2_3 : real;

113

Sum_1 : real;

114

Sum_2 : real;

115

Sum_3 : real;

116

let

117

(Subsystem1_1, Subsystem1_2, Subsystem1_3) = Subsystem1_95_060(A_1, A_2, A_3, B_1, B_2, B_3, __time_step, __nb_step);

118

(Subsystem2_1, Subsystem2_2, Subsystem2_3) = Subsystem2_119_486(A_1, A_2, A_3, B_1, B_2, B_3, __time_step, __nb_step);

119

Sum_1 = 0.0 + Subsystem2_1  Subsystem1_1;

120

Sum_2 = 0.0 + Subsystem2_2  Subsystem1_2;

121

Sum_3 = 0.0 + Subsystem2_3  Subsystem1_3;

122

C_1 = Sum_1;

123

C_2 = Sum_2;

124

C_3 = Sum_3;

125

tel

126


127

(*

128

Original block name: InportShadow_PP

129

*)

130

node InportShadow_PP(A_1 : real;

131

A_2 : real;

132

A_3 : real;

133

B_1 : real;

134

B_2 : real;

135

B_3 : real;)

136

returns(Out1_1 : real;

137

Out1_2 : real;

138

Out1_3 : real;);

139

var cross_1 : real;

140

cross_2 : real;

141

cross_3 : real;

142

__time_step : real;

143

__nb_step : int;

144

let

145

(cross_1, cross_2, cross_3) = cross_90_490(A_1, A_2, A_3, B_1, B_2, B_3, __time_step, __nb_step);

146

Out1_1 = cross_1;

147

Out1_2 = cross_2;

148

Out1_3 = cross_3;

149

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

150

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

151

tel

152

