Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_trigger_test / trigger_test.lusi @ 0c9457a0

History | View | Annotate | Download (1.77 KB)

1 0c9457a0 bourbouh
(* Generated Lustre Interface file from trigger_test.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:54:54 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
function trigger_test_TriggeredSubsystem (In1_1_1: real) returns (Out1_1_1: bool);
6
7
function trigger_test_TriggeredSubsystem1 (In2_1_1: real) returns (Out2_1_1: real);
8
9
function trigger_test_TriggeredSubsystem2 (In1_1_1: real; trigger_test_TriggeredSubsystem2_Trigger_1_1: bool; trigger_test_TriggeredSubsystem2_Trigger_pre_1_1: bool) returns (Out1_1_1: real);
10
11
function trigger_test_TriggeredSubsystem3 (In1_1_1: real) returns (Out1_1_1: real);
12
13
function trigger_test_TriggeredSubsystem4 (In1_1_1: real) returns (Out1_1_1: real);
14
15
function trigger_test_TriggeredSubsystem5 (In1_1_1: real; trigger_test_TriggeredSubsystem5_Trigger_1_1: int; trigger_test_TriggeredSubsystem5_Trigger_pre_1_1: int) returns (Out1_1_1: real);
16
17
function trigger_test_TriggeredSubsystem6 (In1_1_1: real) returns (Out1_1_1: real);
18
19
function trigger_test_TriggeredSubsystem7 (In1_1_1: real) returns (Out1_1_1: real);
20
21
function trigger_test_TriggeredSubsystem8 (In1_1_1: real) returns (Out1_1_1: real);
22
23
function trigger_test_TriggeredSubsystem9 (In1_1_1: real; In1_1_2: real; In1_1_3: real; trigger_test_TriggeredSubsystem9_Trigger_1_1: bool; trigger_test_TriggeredSubsystem9_Trigger_pre_1_1: bool) returns (Out1_1_1: real; Out1_1_2: real; Out1_1_3: real);
24
25
node trigger_test (In1_1_1: real; In2_1_1: bool; In3_1_1: real; In4_1_1: int; In5_1_1: real; In6_1_1: real; In7_1_1: real; In7_1_2: real; In7_1_3: real; In8_1_1: bool) returns (Out1_1_1: bool; Out2_2_1: real; Out3_3_1: real; Out4_4_1: real; Out5_5_1: real; Out6_6_1: real; Out7_7_1: real; Out8_8_1: real; Out9_9_1: real; Out10_10_1: real; Out10_10_2: real; Out10_10_3: real);