Project

General

Profile

Download (988 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:26:37
5
(*
6
Original block name: Constant4/Detector5
7
*)
8
node  Detector5_7_035(In_1 : bool;
9
	__time_step : real;
10
	__nb_step : int;)
11
returns(Out_1 : int;
12
	Out1_1 : int;
13
	Out2_1 : int;);
14
var Constant1_1 : int;
15
	Constant2_1 : int;
16
	Constant3_1 : int;
17
let
18
	Constant1_1 = 1;
19
	Constant2_1 = 3;
20
	Constant3_1 = 6;
21
	Out_1 = Constant1_1;
22
	Out1_1 = Constant2_1;
23
	Out2_1 = Constant3_1;
24
tel
25

    
26
(*
27
Original block name: Constant4
28
*)
29
node  Constant4(In5_1 : bool;)
30
returns(Out_1 : int;
31
	Out1_1 : int;
32
	Out2_1 : int;);
33
var Detector5_1 : int;
34
	Detector5_2 : int;
35
	Detector5_3 : int;
36
	__time_step : real;
37
	__nb_step : int;
38
let
39
	(Detector5_1, Detector5_2, Detector5_3) = Detector5_7_035(In5_1, __time_step, __nb_step);
40
	Out_1 = Detector5_1;
41
	Out1_1 = Detector5_2;
42
	Out2_1 = Detector5_3;
43
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
44
	__nb_step = (0 -> ((pre __nb_step) + 1));
45
tel
46

    
(361-361/1153)