Project

General

Profile

Download (456 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:41
5
(*
6
Original block name: Abs1_PP
7
*)
8
node  Abs1_PP(In1_1 : int;)
9
returns(Out1_1 : int;);
10
var Abs_1 : int;
11
	__time_step : real;
12
	__nb_step : int;
13
let
14
	Abs_1 = if (In1_1 >= 0) then
15
		In1_1
16
	    else (- In1_1);
17
	Out1_1 = Abs_1;
18
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
19
	__nb_step = (0 -> ((pre __nb_step) + 1));
20
tel
21

    
(13-13/1153)