Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_StopwatchChart / StopwatchChart.lusi @ 79ef5fc5

History | View | Annotate | Download (20.2 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from StopwatchChart.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:27 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type chart_run_INNER__type = enum {POINTChart_Run_INNER, CHART_RUN__TO__CHART_CHARTJUNCTION314_1 };
6
7
8
type stop_reset_INNER__type = enum {POINTStop_Reset_INNER, STOP_RESET__TO__CHART_CHARTJUNCTION300_1 };
9
10
11
type chart_run__type = enum {POINTChart_Run, RUN_RUNNING__TO__STOP_RESET_1, RUN_RUNNING__TO__RUN_LAP_2, RUN_LAP__TO__RUN_RUNNING_1, RUN_LAP__TO__STOP_LAP_STOP_2, RUN_RUNNING_IDL, RUN_LAP_IDL };
12
13
14
type stop_reset__type = enum {POINTStop_Reset }; 
15
16
type chart_stop__type = enum {POINTChart_Stop, POINT__TO__STOP_RESET_1, STOP_RESET__TO__RUN_RUNNING_1, STOP_LAP_STOP__TO__STOP_RESET_1, STOP_LAP_STOP__TO__RUN_LAP_2, STOP_RESET_IDL, STOP_LAP_STOP_IDL };
17
18
19
type chart_chart__type = enum {POINTChart_Chart, POINT__TO__CHART_STOP_1, CHART_STOP_IDL, CHART_RUN_IDL };
20
21
22
function Stop_Reset__To__Chart_ChartJunction300_1_Condition_Action (cent_1: int; sec_1: int; min_1: int; disp_cent_1: int; disp_sec_1: int; disp_min_1: int) returns (cent: int; sec: int; min: int; disp_cent: int; disp_sec: int; disp_min: int);
23
24
function Run_Lap_ex (idChart_Run_1: int; isInner: bool) returns (idChart_Run: int);
25
26
function Run_Running_ex (x_1: int; idChart_Run_1: int; isInner: bool) returns (x: int; idChart_Run: int);
27
28
function Stop_Lap_stop_en (idChart_Stop_1: int; isInner: bool) returns (idChart_Stop: int);
29
30
function Stop_Reset_en (idStop_Reset_1: int; idChart_Stop_1: int; isInner: bool) returns (idStop_Reset: int; idChart_Stop: int);
31
32
function Run_Lap_en (idChart_Run_1: int; isInner: bool) returns (idChart_Run: int);
33
34
function Run_Running_en (idChart_Run_1: int; x_1: int; isInner: bool) returns (idChart_Run: int; x: int);
35
36
function Stop_Lap_stop_ex (idChart_Stop_1: int; isInner: bool) returns (idChart_Stop: int);
37
38
function Stop_Reset_ex (idChart_Stop_1: int; isInner: bool) returns (idChart_Stop: int);
39
40
function stop_reset_INNER__POINTStop_Reset_INNER_handler_until (stop_reset_INNER__restart_act: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (stop_reset_INNER__restart_in: bool; stop_reset_INNER__state_in: stop_reset_INNER__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; min_out: int; sec_out: int);
41
42
function stop_reset_INNER__POINTStop_Reset_INNER_unless (stop_reset_INNER__restart_in: bool; LAP: bool) returns (stop_reset_INNER__restart_act: bool; stop_reset_INNER__state_act: stop_reset_INNER__type);
43
44
function stop_reset_INNER__STOP_RESET__TO__CHART_CHARTJUNCTION300_1_handler_until (stop_reset_INNER__restart_act: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (stop_reset_INNER__restart_in: bool; stop_reset_INNER__state_in: stop_reset_INNER__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; min_out: int; sec_out: int);
45
46
function stop_reset_INNER__STOP_RESET__TO__CHART_CHARTJUNCTION300_1_unless (stop_reset_INNER__restart_in: bool) returns (stop_reset_INNER__restart_act: bool; stop_reset_INNER__state_act: stop_reset_INNER__type);
47
48
function stop_reset__POINTStop_Reset_handler_until (stop_reset__restart_act: bool; idStop_Reset_1: int) returns (stop_reset__restart_in: bool; stop_reset__state_in: stop_reset__type; idStop_Reset_out: int);
49
50
function stop_reset__POINTStop_Reset_unless (stop_reset__restart_in: bool) returns (stop_reset__restart_act: bool; stop_reset__state_act: stop_reset__type);
51
52
function Chart_ChartJunction314__To__Chart_ChartJunction315_1_Condition_Action (cent_1: int; sec_1: int) returns (cent: int; sec: int);
53
54
function Chart_ChartJunction315__To__Chart_ChartJunction316_1_Condition_Action (sec_1: int; min_1: int) returns (sec: int; min: int);
55
56
function Chart_Run__To__Chart_ChartJunction314_1_Condition_Action (cent_1: int) returns (cent: int);
57
58
function Chart_Run_ex (x_1: int; idChart_Run_1: int; idChart_Chart_1: int; isInner: bool) returns (x: int; idChart_Run: int; idChart_Chart: int);
59
60
function Chart_Stop_en (idChart_Stop_1: int; idChart_Chart_1: int; idStop_Reset_1: int; isInner: bool) returns (idChart_Stop: int; idChart_Chart: int; idStop_Reset: int);
61
62
function Run_Running_du (cent_1: int; disp_cent_1: int; sec_1: int; disp_sec_1: int; min_1: int; disp_min_1: int) returns (cent: int; disp_cent: int; sec: int; disp_sec: int; min: int; disp_min: int);
63
64
function Chart_Run_en (idChart_Run_1: int; idChart_Chart_1: int; x_1: int; isInner: bool) returns (idChart_Run: int; idChart_Chart: int; x: int);
65
66
function Chart_Stop_ex (idChart_Stop_1: int; idChart_Chart_1: int; isInner: bool) returns (idChart_Stop: int; idChart_Chart: int);
67
68
node Stop_Reset_du (LAP: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (cent: int; sec: int; min: int; disp_cent: int; disp_sec: int; disp_min: int);
69
70
node Stop_Reset_node (idStop_Reset_1: int) returns (idStop_Reset: int);
71
72
function chart_run_INNER__CHART_RUN__TO__CHART_CHARTJUNCTION314_1_handler_until (chart_run_INNER__restart_act: bool; cent_1: int; sec_1: int; min_1: int) returns (chart_run_INNER__restart_in: bool; chart_run_INNER__state_in: chart_run_INNER__type; cent_out: int; min_out: int; sec_out: int);
73
74
function chart_run_INNER__CHART_RUN__TO__CHART_CHARTJUNCTION314_1_unless (chart_run_INNER__restart_in: bool) returns (chart_run_INNER__restart_act: bool; chart_run_INNER__state_act: chart_run_INNER__type);
75
76
function chart_run_INNER__POINTChart_Run_INNER_handler_until (chart_run_INNER__restart_act: bool; cent_1: int; sec_1: int; min_1: int) returns (chart_run_INNER__restart_in: bool; chart_run_INNER__state_in: chart_run_INNER__type; cent_out: int; min_out: int; sec_out: int);
77
78
function chart_run_INNER__POINTChart_Run_INNER_unless (chart_run_INNER__restart_in: bool; TIC: bool) returns (chart_run_INNER__restart_act: bool; chart_run_INNER__state_act: chart_run_INNER__type);
79
80
function chart_run__POINTChart_Run_handler_until (chart_run__restart_act: bool; idChart_Run_1: int; idChart_Chart_1: int; x_1: int; idChart_Stop_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_run__restart_in: bool; chart_run__state_in: chart_run__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
81
82
function chart_run__POINTChart_Run_unless (chart_run__restart_in: bool; idChart_Run_1: int; START: bool; LAP: bool) returns (chart_run__restart_act: bool; chart_run__state_act: chart_run__type);
83
84
function chart_run__RUN_LAP_IDL_handler_until (chart_run__restart_act: bool; idChart_Run_1: int; idChart_Chart_1: int; x_1: int; idChart_Stop_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_run__restart_in: bool; chart_run__state_in: chart_run__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
85
86
function chart_run__RUN_LAP_IDL_unless (chart_run__restart_in: bool) returns (chart_run__restart_act: bool; chart_run__state_act: chart_run__type);
87
88
function chart_run__RUN_LAP__TO__RUN_RUNNING_1_handler_until (chart_run__restart_act: bool; idChart_Run_1: int; idChart_Chart_1: int; x_1: int; idChart_Stop_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_run__restart_in: bool; chart_run__state_in: chart_run__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
89
90
function chart_run__RUN_LAP__TO__RUN_RUNNING_1_unless (chart_run__restart_in: bool) returns (chart_run__restart_act: bool; chart_run__state_act: chart_run__type);
91
92
function chart_run__RUN_LAP__TO__STOP_LAP_STOP_2_handler_until (chart_run__restart_act: bool; idChart_Run_1: int; idChart_Chart_1: int; x_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_run__restart_in: bool; chart_run__state_in: chart_run__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
93
94
function chart_run__RUN_LAP__TO__STOP_LAP_STOP_2_unless (chart_run__restart_in: bool) returns (chart_run__restart_act: bool; chart_run__state_act: chart_run__type);
95
96
function chart_run__RUN_RUNNING_IDL_handler_until (chart_run__restart_act: bool; idChart_Run_1: int; idChart_Chart_1: int; x_1: int; idChart_Stop_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_run__restart_in: bool; chart_run__state_in: chart_run__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
97
98
function chart_run__RUN_RUNNING_IDL_unless (chart_run__restart_in: bool) returns (chart_run__restart_act: bool; chart_run__state_act: chart_run__type);
99
100
function chart_run__RUN_RUNNING__TO__RUN_LAP_2_handler_until (chart_run__restart_act: bool; idChart_Run_1: int; idChart_Chart_1: int; x_1: int; idChart_Stop_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_run__restart_in: bool; chart_run__state_in: chart_run__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
101
102
function chart_run__RUN_RUNNING__TO__RUN_LAP_2_unless (chart_run__restart_in: bool) returns (chart_run__restart_act: bool; chart_run__state_act: chart_run__type);
103
104
function chart_run__RUN_RUNNING__TO__STOP_RESET_1_handler_until (chart_run__restart_act: bool; idChart_Run_1: int; idChart_Chart_1: int; x_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_run__restart_in: bool; chart_run__state_in: chart_run__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
105
106
function chart_run__RUN_RUNNING__TO__STOP_RESET_1_unless (chart_run__restart_in: bool) returns (chart_run__restart_act: bool; chart_run__state_act: chart_run__type);
107
108
function chart_stop__POINTChart_Stop_handler_until (chart_stop__restart_act: bool; idChart_Stop_1: int; idStop_Reset_1: int; idChart_Chart_1: int; idChart_Run_1: int; x_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_stop__restart_in: bool; chart_stop__state_in: chart_stop__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
109
110
function chart_stop__POINTChart_Stop_unless (chart_stop__restart_in: bool; idChart_Stop_1: int; START: bool; LAP: bool) returns (chart_stop__restart_act: bool; chart_stop__state_act: chart_stop__type);
111
112
function chart_stop__POINT__TO__STOP_RESET_1_handler_until (chart_stop__restart_act: bool; idChart_Stop_1: int; idStop_Reset_1: int; idChart_Chart_1: int; idChart_Run_1: int; x_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_stop__restart_in: bool; chart_stop__state_in: chart_stop__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
113
114
function chart_stop__POINT__TO__STOP_RESET_1_unless (chart_stop__restart_in: bool) returns (chart_stop__restart_act: bool; chart_stop__state_act: chart_stop__type);
115
116
function chart_stop__STOP_LAP_STOP_IDL_handler_until (chart_stop__restart_act: bool; idChart_Stop_1: int; idStop_Reset_1: int; idChart_Chart_1: int; idChart_Run_1: int; x_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_stop__restart_in: bool; chart_stop__state_in: chart_stop__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
117
118
function chart_stop__STOP_LAP_STOP_IDL_unless (chart_stop__restart_in: bool) returns (chart_stop__restart_act: bool; chart_stop__state_act: chart_stop__type);
119
120
function chart_stop__STOP_LAP_STOP__TO__RUN_LAP_2_handler_until (chart_stop__restart_act: bool; idChart_Stop_1: int; idStop_Reset_1: int; idChart_Chart_1: int; x_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_stop__restart_in: bool; chart_stop__state_in: chart_stop__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
121
122
function chart_stop__STOP_LAP_STOP__TO__RUN_LAP_2_unless (chart_stop__restart_in: bool) returns (chart_stop__restart_act: bool; chart_stop__state_act: chart_stop__type);
123
124
function chart_stop__STOP_LAP_STOP__TO__STOP_RESET_1_handler_until (chart_stop__restart_act: bool; idChart_Stop_1: int; idStop_Reset_1: int; idChart_Chart_1: int; idChart_Run_1: int; x_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_stop__restart_in: bool; chart_stop__state_in: chart_stop__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
125
126
function chart_stop__STOP_LAP_STOP__TO__STOP_RESET_1_unless (chart_stop__restart_in: bool) returns (chart_stop__restart_act: bool; chart_stop__state_act: chart_stop__type);
127
128
node chart_stop__STOP_RESET_IDL_handler_until (chart_stop__restart_act: bool; idChart_Stop_1: int; idStop_Reset_1: int; idChart_Chart_1: int; idChart_Run_1: int; x_1: int; LAP: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_stop__restart_in: bool; chart_stop__state_in: chart_stop__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
129
130
function chart_stop__STOP_RESET_IDL_unless (chart_stop__restart_in: bool) returns (chart_stop__restart_act: bool; chart_stop__state_act: chart_stop__type);
131
132
function chart_stop__STOP_RESET__TO__RUN_RUNNING_1_handler_until (chart_stop__restart_act: bool; idChart_Stop_1: int; idStop_Reset_1: int; idChart_Chart_1: int; x_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (chart_stop__restart_in: bool; chart_stop__state_in: chart_stop__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
133
134
function chart_stop__STOP_RESET__TO__RUN_RUNNING_1_unless (chart_stop__restart_in: bool) returns (chart_stop__restart_act: bool; chart_stop__state_act: chart_stop__type);
135
136
node Chart_Run_du (TIC: bool; cent_1: int; sec_1: int; min_1: int) returns (cent: int; sec: int; min: int);
137
138
node Chart_Run_node (idChart_Run_1: int; START: bool; idChart_Chart_1: int; x_1: int; idChart_Stop_1: int; idStop_Reset_1: int; LAP: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (idChart_Run: int; idChart_Chart: int; x: int; idChart_Stop: int; idStop_Reset: int; cent: int; disp_cent: int; disp_min: int; disp_sec: int; min: int; sec: int);
139
140
node Chart_Stop_node (idChart_Stop_1: int; idStop_Reset_1: int; START: bool; idChart_Chart_1: int; idChart_Run_1: int; x_1: int; LAP: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; min_1: int; sec_1: int) returns (idChart_Stop: int; idStop_Reset: int; idChart_Chart: int; idChart_Run: int; x: int; cent: int; disp_cent: int; disp_min: int; disp_sec: int; min: int; sec: int);
141
142
node chart_chart__CHART_RUN_IDL_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; idChart_Stop_1: int; idStop_Reset_1: int; LAP: bool; START: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; idChart_Run_1: int; min_1: int; sec_1: int; x_1: int; TIC: bool) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
143
144
function chart_chart__CHART_RUN_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
145
146
node chart_chart__CHART_STOP_IDL_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; idChart_Stop_1: int; idStop_Reset_1: int; LAP: bool; START: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; idChart_Run_1: int; min_1: int; sec_1: int; x_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
147
148
function chart_chart__CHART_STOP_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
149
150
function chart_chart__POINTChart_Chart_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; idChart_Stop_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; idChart_Run_1: int; min_1: int; sec_1: int; x_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
151
152
function chart_chart__POINTChart_Chart_unless (chart_chart__restart_in: bool; idChart_Chart_1: int) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
153
154
function chart_chart__POINT__TO__CHART_STOP_1_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; idChart_Stop_1: int; idStop_Reset_1: int; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; idChart_Run_1: int; min_1: int; sec_1: int; x_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; cent_out: int; disp_cent_out: int; disp_min_out: int; disp_sec_out: int; idChart_Chart_out: int; idChart_Run_out: int; idChart_Stop_out: int; idStop_Reset_out: int; min_out: int; sec_out: int; x_out: int);
155
156
function chart_chart__POINT__TO__CHART_STOP_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
157
158
node Chart_Chart_node (idChart_Chart_1: int; idChart_Stop_1: int; idStop_Reset_1: int; LAP: bool; START: bool; cent_1: int; disp_cent_1: int; disp_min_1: int; disp_sec_1: int; idChart_Run_1: int; min_1: int; sec_1: int; x_1: int; TIC: bool) returns (idChart_Chart: int; idChart_Stop: int; idStop_Reset: int; cent: int; disp_cent: int; disp_min: int; disp_sec: int; idChart_Run: int; min: int; sec: int; x: int);
159
160
node StopwatchChart_Chart (TIC: bool; LAP: bool; START: bool) returns (disp_min: int; disp_sec: int; disp_cent: int; x: int);
161
162
node StopwatchChart (TIC_1_1: real; LAP_1_1: real; START_1_1: real) returns (disp_min_1_1: int; disp_sec_2_1: int; disp_cent_3_1: int; x_4_1: int);