Project

General

Profile

Download (718 Bytes) 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:15:47
5
(*
6
Original block name: Abs2_PP
7
*)
8
node  Abs2_PP(In2_1 : real;
9
	In2_2 : real;
10
	In2_3 : real;)
11
returns(Out2_1 : real;
12
	Out2_2 : real;
13
	Out2_3 : real;);
14
var Abs1_1 : real;
15
	Abs1_2 : real;
16
	Abs1_3 : real;
17
	__time_step : real;
18
	__nb_step : int;
19
let
20
	Abs1_1 = if (In2_1 >= 0.0) then
21
		In2_1
22
	    else (- In2_1);
23
	Abs1_2 = if (In2_2 >= 0.0) then
24
		In2_2
25
	    else (- In2_2);
26
	Abs1_3 = if (In2_3 >= 0.0) then
27
		In2_3
28
	    else (- In2_3);
29
	Out2_1 = Abs1_1;
30
	Out2_2 = Abs1_2;
31
	Out2_3 = Abs1_3;
32
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
33
	__nb_step = (0 -> ((pre __nb_step) + 1));
34
tel
35

    
(19-19/1153)