Project

General

Profile

Download (2.07 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:06
5
(*
6
Original block name: EnablePort2_PP/case_reset_held_held
7
*)
8
node  case_reset_held_held_39_080_automaton(Cpre_compx_1 : real;
9
	_isEnabled : bool;
10
	__time_step : real;
11
	__nb_step : int;)
12
returns(Ccor_x_1 : real;
13
	pre_x_1 : real;);
14
var pre_Ccor_x_1 : real;
15
	pre_pre_x_1 : real;
16
let
17
	pre_Ccor_x_1 = if (__nb_step > 0) then
18
		(pre Ccor_x_1)
19
	    else 0.000000000000000;
20
	pre_pre_x_1 = if (__nb_step > 0) then
21
		(pre pre_x_1)
22
	    else 0.000000000000000;
23
	automaton enabled_case_reset_held_held_39_080
24
	state Active_case_reset_held_held_39_080:
25
	unless (not _isEnabled) restart Inactive_case_reset_held_held_39_080
26
	let
27
		(Ccor_x_1, pre_x_1) = case_reset_held_held_39_080(Cpre_compx_1, __time_step, __nb_step);
28
	tel
29

    
30
	state Inactive_case_reset_held_held_39_080:
31
	unless _isEnabled restart Active_case_reset_held_held_39_080
32
	let
33
		Ccor_x_1 = pre_Ccor_x_1;
34
		pre_x_1 = pre_pre_x_1;
35
	tel
36

    
37

    
38
tel
39

    
40
(*
41
Original block name: EnablePort2_PP/case_reset_held_held
42
*)
43
node  case_reset_held_held_39_080(Cpre_compx_1 : real;
44
	__time_step : real;
45
	__nb_step : int;)
46
returns(Ccor_x_1 : real;
47
	pre_x_1 : real;);
48
var Add_1 : real;
49
	UnitDelay_1 : real;
50
let
51
	Add_1 = 0.0 + Cpre_compx_1 + UnitDelay_1;
52
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
53
	Ccor_x_1 = Add_1;
54
	pre_x_1 = UnitDelay_1;
55
tel
56

    
57
(*
58
Original block name: EnablePort2_PP
59
*)
60
node  EnablePort2_PP(In1_1 : real;
61
	Enable_1 : real;)
62
returns(Out6_1 : real;
63
	pre_Out3_1 : real;);
64
var ExecutionCond_of_case_reset_held_held_39_080 : bool;
65
	case_reset_held_held_1 : real;
66
	case_reset_held_held_2 : real;
67
	__time_step : real;
68
	__nb_step : int;
69
let
70
	ExecutionCond_of_case_reset_held_held_39_080 = (Enable_1 > 0.0);
71
	(case_reset_held_held_1, case_reset_held_held_2) = case_reset_held_held_39_080_automaton(In1_1, ExecutionCond_of_case_reset_held_held_39_080, __time_step, __nb_step);
72
	Out6_1 = case_reset_held_held_1;
73
	pre_Out3_1 = case_reset_held_held_2;
74
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
75
	__nb_step = (0 -> ((pre __nb_step) + 1));
76
tel
77

    
(571-571/1153)