lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_rise_test / detect_rise_test.lusi @ 0c9457a0
History | View | Annotate | Download (1.01 KB)
1 | 0c9457a0 | bourbouh | (* Generated Lustre Interface file from detect_rise_test.lus *) |
---|---|---|---|
2 | (* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:54:51 *) |
||
3 | (* Feel free to mask some of the definitions by removing them from this file. *) |
||
4 | |||
5 | node detect_rise_test (In1_1_1: real; In2_1_1: real; In2_1_2: real; In2_1_3: real; In2_1_4: real; In2_1_5: real; In3_1_1: int; In3_1_2: int; In3_1_3: int; In3_1_4: int; In3_1_5: int; In3_1_6: int; In4_1_1: real; In5_1_1: real; In5_1_2: real; In5_1_3: real; In5_1_4: real; In5_1_5: real; In6_1_1: int; In6_1_2: int; In6_1_3: int; In6_1_4: int; In6_1_5: int; In6_1_6: int; In7_1_1: bool; In8_1_1: bool) returns (Out1_1_1: bool; Out2_2_1: bool; Out2_2_2: bool; Out2_2_3: bool; Out2_2_4: bool; Out2_2_5: bool; Out3_3_1: bool; Out3_3_2: bool; Out3_3_3: bool; Out3_3_4: bool; Out3_3_5: bool; Out3_3_6: bool; Out4_4_1: bool; Out5_5_1: bool; Out5_5_2: bool; Out5_5_3: bool; Out5_5_4: bool; Out5_5_5: bool; Out6_6_1: bool; Out6_6_2: bool; Out6_6_3: bool; Out6_6_4: bool; Out6_6_5: bool; Out6_6_6: bool; Out7_7_1: bool; Out8_8_1: bool); |