Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_GraphFun1 / GraphFun1.lusi @ 79ef5fc5

History | View | Annotate | Download (5.01 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from GraphFun1.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:35 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
#open <math>
6
7
type chart_f__type = enum {POINTChart_f, POINT__TO__CHART_FJUNCTION885_1 }; 
8
9
type chart_chart__type = enum {POINTChart_Chart, POINT__TO__CHART_A_1, CHART_A__TO__CHART_B_1, CHART_B__TO__CHART_A_1, CHART_A_IDL, CHART_B_IDL };
10
11
12
function POINT__To__Chart_fJunction885_1_Condition_Action (x: real; y: real; z_1: real) returns (z: real);
13
14
function chart_f__POINTChart_f_handler_until (chart_f__restart_act: bool; idChart_f_1: int; z_1: real) returns (chart_f__restart_in: bool; chart_f__state_in: chart_f__type; idChart_f_out: int; z_out: real);
15
16
function chart_f__POINTChart_f_unless (chart_f__restart_in: bool; idChart_f_1: int) returns (chart_f__restart_act: bool; chart_f__state_act: chart_f__type);
17
18
function chart_f__POINT__TO__CHART_FJUNCTION885_1_handler_until (chart_f__restart_act: bool; idChart_f_1: int; x: real; y: real; z_1: real) returns (chart_f__restart_in: bool; chart_f__state_in: chart_f__type; idChart_f_out: int; z_out: real);
19
20
function chart_f__POINT__TO__CHART_FJUNCTION885_1_unless (chart_f__restart_in: bool) returns (chart_f__restart_act: bool; chart_f__state_act: chart_f__type);
21
22
node Chart_f_node (idChart_f_1: int; x: real; y: real; z_1: real) returns (idChart_f: int; z: real);
23
24
node f (x: real; y: real) returns (z: real);
25
26
node Chart_A__To__Chart_B_1_Condition_Action (a_1: real; b_1: real; c_1: real) returns (a: real; b: real; c: real);
27
28
function Chart_A_ex (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
29
30
function Chart_B_en (idChart_Chart_1: int; a_1: real; b_1: real; isInner: bool) returns (idChart_Chart: int; a: real; b: real);
31
32
function Chart_A_en (idChart_Chart_1: int; a_1: real; b_1: real; isInner: bool) returns (idChart_Chart: int; a: real; b: real);
33
34
node Chart_B__To__Chart_A_1_Condition_Action (a_1: real; b_1: real; c_1: real) returns (a: real; b: real; c: real);
35
36
function Chart_B_ex (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
37
38
function chart_chart__CHART_A_IDL_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; a_1: real; b_1: real; c_1: real) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: real; b_out: real; c_out: real; idChart_Chart_out: int);
39
40
function chart_chart__CHART_A_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
41
42
node chart_chart__CHART_A__TO__CHART_B_1_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; a_1: real; b_1: real; c_1: real) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: real; b_out: real; c_out: real; idChart_Chart_out: int);
43
44
function chart_chart__CHART_A__TO__CHART_B_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
45
46
function chart_chart__CHART_B_IDL_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; a_1: real; b_1: real; c_1: real) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: real; b_out: real; c_out: real; idChart_Chart_out: int);
47
48
function chart_chart__CHART_B_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
49
50
node chart_chart__CHART_B__TO__CHART_A_1_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; a_1: real; b_1: real; c_1: real) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: real; b_out: real; c_out: real; idChart_Chart_out: int);
51
52
function chart_chart__CHART_B__TO__CHART_A_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
53
54
function chart_chart__POINTChart_Chart_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; a_1: real; b_1: real; c_1: real) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: real; b_out: real; c_out: real; idChart_Chart_out: int);
55
56
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);
57
58
function chart_chart__POINT__TO__CHART_A_1_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; a_1: real; b_1: real; c_1: real) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: real; b_out: real; c_out: real; idChart_Chart_out: int);
59
60
function chart_chart__POINT__TO__CHART_A_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
61
62
node Chart_Chart_node (idChart_Chart_1: int; a_1: real; b_1: real; c_1: real) returns (idChart_Chart: int; a: real; b: real; c: real);
63
64
node GraphFun1_Chart (noInput: bool) returns (c: real);
65
66
node GraphFun1 (i_virtual: real) returns (c_1_1: real);