Project

General

Profile

Download (1.12 KB) 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:29:35
5
(*
6
Original block name: detect_change_bio_test_PP/Detect
7
Change4
8
*)
9
node  DetectChange4_40_059(U_1 : int;
10
	__time_step : real;
11
	__nb_step : int;)
12
returns(Y_1 : bool;);
13
var DelayInput1_1 : int;
14
	FixPtRelationalOperator_1 : bool;
15
let
16
	DelayInput1_1 = (0 -> (pre U_1));
17
	FixPtRelationalOperator_1 = (U_1 <> DelayInput1_1);
18
	Y_1 = FixPtRelationalOperator_1;
19
tel
20

    
21
(*
22
Original block name: detect_change_bio_test_PP
23
*)
24
node  detect_change_bio_test_PP(_virtual : bool;)
25
returns(Out1_1 : bool;);
26
var BusCreator_1 : int;
27
	BusCreator_2 : real;
28
	BusSelector3_1 : int;
29
	Constant_1 : int;
30
	Constant1_1 : real;
31
	DetectChange4_1 : bool;
32
	__time_step : real;
33
	__nb_step : int;
34
let
35
	BusCreator_1 = Constant_1;
36
	BusCreator_2 = Constant1_1;
37
	BusSelector3_1 = BusCreator_1;
38
	Constant_1 = 145;
39
	Constant1_1 = 145.000000000000000;
40
	DetectChange4_1 = DetectChange4_40_059(BusSelector3_1, __time_step, __nb_step);
41
	Out1_1 = DetectChange4_1;
42
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
43
	__nb_step = (0 -> ((pre __nb_step) + 1));
44
tel
45

    
(1048-1048/1153)