Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (1.21 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:24:08
5
(*
6
Original block name: CompareTo1_PP/Compare1
7
*)
8
node  Compare1_87_040(u_1 : real;
9
	__time_step : real;
10
	__nb_step : int;)
11
returns(y_1 : bool;);
12
var Compare_1 : bool;
13
	Constant_1 : real;
14
let
15
	Compare_1 = (u_1 <= Constant_1);
16
	Constant_1 = 0.000000000000000;
17
	y_1 = Compare_1;
18
tel
19
20
(*
21
Original block name: CompareTo1_PP/CompareToConstant
22
*)
23
node  CompareToConstant_86_253(u_1 : real;
24
	__time_step : real;
25
	__nb_step : int;)
26
returns(y_1 : bool;);
27
var Compare_1 : bool;
28
	Constant_1 : real;
29
let
30
	Compare_1 = (u_1 <= Constant_1);
31
	Constant_1 = 3.000000000000000;
32
	y_1 = Compare_1;
33
tel
34
35
(*
36
Original block name: CompareTo1_PP
37
*)
38
node  CompareTo1_PP(In1_1 : real;
39
	In2_1 : real;)
40
returns(Out1_1 : bool;
41
	Out2_1 : bool;);
42
var Compare1_1 : bool;
43
	CompareToConstant_1 : bool;
44
	__time_step : real;
45
	__nb_step : int;
46
let
47
	Compare1_1 = Compare1_87_040(In1_1, __time_step, __nb_step);
48
	CompareToConstant_1 = CompareToConstant_86_253(In2_1, __time_step, __nb_step);
49
	Out1_1 = Compare1_1;
50
	Out2_1 = CompareToConstant_1;
51
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
52
	__nb_step = (0 -> ((pre __nb_step) + 1));
53
tel