Project

General

Profile

Download (2.45 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:34:25
5
(*
6
Original block name: EnablePort4_PP/case_held_held_held
7
*)
8
node  case_held_held_held_45_285_automaton(Cpre_compx_1 : real;
9
	Enable_1 : real;
10
	_isEnabled : bool;
11
	__time_step : real;
12
	__nb_step : int;)
13
returns(Ccor_x_1 : real;
14
	pre_x_1 : real;
15
	Out1_1 : real;);
16
var pre_Ccor_x_1 : real;
17
	pre_pre_x_1 : real;
18
	pre_Out1_1 : real;
19
let
20
	pre_Ccor_x_1 = if (__nb_step > 0) then
21
		(pre Ccor_x_1)
22
	    else 0.000000000000000;
23
	pre_pre_x_1 = if (__nb_step > 0) then
24
		(pre pre_x_1)
25
	    else 0.000000000000000;
26
	pre_Out1_1 = if (__nb_step > 0) then
27
		(pre Out1_1)
28
	    else 0.000000000000000;
29
	automaton enabled_case_held_held_held_45_285
30
	state Active_case_held_held_held_45_285:
31
	unless (not _isEnabled) restart Inactive_case_held_held_held_45_285
32
	let
33
		(Ccor_x_1, pre_x_1, Out1_1) = case_held_held_held_45_285(Cpre_compx_1, Enable_1, __time_step, __nb_step);
34
	tel
35

    
36
	state Inactive_case_held_held_held_45_285:
37
	unless _isEnabled resume Active_case_held_held_held_45_285
38
	let
39
		Ccor_x_1 = pre_Ccor_x_1;
40
		pre_x_1 = pre_pre_x_1;
41
		Out1_1 = pre_Out1_1;
42
	tel
43

    
44

    
45
tel
46

    
47
(*
48
Original block name: EnablePort4_PP/case_held_held_held
49
*)
50
node  case_held_held_held_45_285(Cpre_compx_1 : real;
51
	Enable_1 : real;
52
	__time_step : real;
53
	__nb_step : int;)
54
returns(Ccor_x_1 : real;
55
	pre_x_1 : real;
56
	Out1_1 : real;);
57
var Add_1 : real;
58
	UnitDelay_1 : real;
59
	UnitDelay1_1 : real;
60
let
61
	Add_1 = 0.0 + Cpre_compx_1 + UnitDelay_1;
62
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
63
	UnitDelay1_1 = (0.000000000000000 -> (pre Cpre_compx_1));
64
	Ccor_x_1 = Add_1;
65
	pre_x_1 = UnitDelay1_1;
66
	Out1_1 = Enable_1;
67
tel
68

    
69
(*
70
Original block name: EnablePort4_PP
71
*)
72
node  EnablePort4_PP(In1_1 : real;
73
	In2_1 : real;)
74
returns(Out1_1 : real;
75
	Out2_1 : real;
76
	Out3_1 : real;);
77
var ExecutionCond_of_case_held_held_held_45_285 : bool;
78
	case_held_held_held_1 : real;
79
	case_held_held_held_2 : real;
80
	case_held_held_held_3 : real;
81
	__time_step : real;
82
	__nb_step : int;
83
let
84
	ExecutionCond_of_case_held_held_held_45_285 = (In1_1 > 0.0);
85
	(case_held_held_held_1, case_held_held_held_2, case_held_held_held_3) = case_held_held_held_45_285_automaton(In2_1, In1_1, ExecutionCond_of_case_held_held_held_45_285, __time_step, __nb_step);
86
	Out1_1 = case_held_held_held_1;
87
	Out2_1 = case_held_held_held_2;
88
	Out3_1 = case_held_held_held_3;
89
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
90
	__nb_step = (0 -> ((pre __nb_step) + 1));
91
tel
92

    
(583-583/1153)