Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (1.07 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:15:56
5
(*
6
Original block name: Abs3_PP
7
*)
8
node  Abs3_PP(In3_1 : real;
9
	In3_2 : real;
10
	In3_3 : real;
11
	In3_4 : real;
12
	In3_5 : real;
13
	In3_6 : real;)
14
returns(Out3_1 : real;
15
	Out3_2 : real;
16
	Out3_3 : real;
17
	Out3_4 : real;
18
	Out3_5 : real;
19
	Out3_6 : real;);
20
var Abs2_1 : real;
21
	Abs2_2 : real;
22
	Abs2_3 : real;
23
	Abs2_4 : real;
24
	Abs2_5 : real;
25
	Abs2_6 : real;
26
	__time_step : real;
27
	__nb_step : int;
28
let
29
	Abs2_1 = if (In3_1 >= 0.0) then
30
		In3_1
31
	    else (- In3_1);
32
	Abs2_2 = if (In3_2 >= 0.0) then
33
		In3_2
34
	    else (- In3_2);
35
	Abs2_3 = if (In3_3 >= 0.0) then
36
		In3_3
37
	    else (- In3_3);
38
	Abs2_4 = if (In3_4 >= 0.0) then
39
		In3_4
40
	    else (- In3_4);
41
	Abs2_5 = if (In3_5 >= 0.0) then
42
		In3_5
43
	    else (- In3_5);
44
	Abs2_6 = if (In3_6 >= 0.0) then
45
		In3_6
46
	    else (- In3_6);
47
	Out3_1 = Abs2_1;
48
	Out3_2 = Abs2_2;
49
	Out3_3 = Abs2_3;
50
	Out3_4 = Abs2_4;
51
	Out3_5 = Abs2_5;
52
	Out3_6 = Abs2_6;
53
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
54
	__nb_step = (0 -> ((pre __nb_step) + 1));
55
tel