Project

General

Profile

Download (1.92 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:00:47
5
(*
6
Original block name: Abs6_PP
7
*)
8
node  Abs6_PP(In1_1 : real;
9
	In2_1 : int;
10
	In2_2 : int;
11
	In2_3 : int;
12
	In3_1 : real;
13
	In3_2 : real;
14
	In3_3 : real;
15
	In3_4 : real;
16
	In3_5 : real;
17
	In3_6 : real;
18
	In3_7 : real;
19
	In3_8 : real;)
20
returns(Out1_1 : real;
21
	Out2_1 : int;
22
	Out2_2 : int;
23
	Out2_3 : int;
24
	Out3_1 : real;
25
	Out3_2 : real;
26
	Out3_3 : real;
27
	Out3_4 : real;
28
	Out3_5 : real;
29
	Out3_6 : real;
30
	Out3_7 : real;
31
	Out3_8 : real;);
32
var Abs_1 : real;
33
	Abs1_1 : int;
34
	Abs1_2 : int;
35
	Abs1_3 : int;
36
	Abs2_1 : real;
37
	Abs2_2 : real;
38
	Abs2_3 : real;
39
	Abs2_4 : real;
40
	Abs2_5 : real;
41
	Abs2_6 : real;
42
	Abs2_7 : real;
43
	Abs2_8 : real;
44
	__time_step : real;
45
	__nb_step : int;
46
let
47
	Abs_1 = if (In1_1 >= 0.0) then
48
		In1_1
49
	    else (- In1_1);
50
	Abs1_1 = if (In2_1 = -128) then
51
		-128
52
	    else if (In2_1 >= 0) then
53
		In2_1
54
	    else (- In2_1);
55
	Abs1_2 = if (In2_2 = -128) then
56
		-128
57
	    else if (In2_2 >= 0) then
58
		In2_2
59
	    else (- In2_2);
60
	Abs1_3 = if (In2_3 = -128) then
61
		-128
62
	    else if (In2_3 >= 0) then
63
		In2_3
64
	    else (- In2_3);
65
	Abs2_1 = if (In3_1 >= 0.0) then
66
		In3_1
67
	    else (- In3_1);
68
	Abs2_2 = if (In3_2 >= 0.0) then
69
		In3_2
70
	    else (- In3_2);
71
	Abs2_3 = if (In3_3 >= 0.0) then
72
		In3_3
73
	    else (- In3_3);
74
	Abs2_4 = if (In3_4 >= 0.0) then
75
		In3_4
76
	    else (- In3_4);
77
	Abs2_5 = if (In3_5 >= 0.0) then
78
		In3_5
79
	    else (- In3_5);
80
	Abs2_6 = if (In3_6 >= 0.0) then
81
		In3_6
82
	    else (- In3_6);
83
	Abs2_7 = if (In3_7 >= 0.0) then
84
		In3_7
85
	    else (- In3_7);
86
	Abs2_8 = if (In3_8 >= 0.0) then
87
		In3_8
88
	    else (- In3_8);
89
	Out1_1 = Abs_1;
90
	Out2_1 = Abs1_1;
91
	Out2_2 = Abs1_2;
92
	Out2_3 = Abs1_3;
93
	Out3_1 = Abs2_1;
94
	Out3_2 = Abs2_2;
95
	Out3_3 = Abs2_3;
96
	Out3_4 = Abs2_4;
97
	Out3_5 = Abs2_5;
98
	Out3_6 = Abs2_6;
99
	Out3_7 = Abs2_7;
100
	Out3_8 = Abs2_8;
101
	__time_step = (0.0 -> ((pre __time_step) + 1.000000000000000));
102
	__nb_step = (0 -> ((pre __nb_step) + 1));
103
tel
104

    
(43-43/1153)