lustrec-tests/regression_tests/lustre_files/success/Simulink/src_many_files/BusSelector_nonvirtual_PP.LUSTREC.lusi @ 4748b215
| 1 | 4748b215 | hbourbou | (* Generated Lustre Interface file from BusSelector_nonvirtual_PP.LUSTREC.lus *) |
|---|---|---|---|
| 2 | (* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:21:59 *) |
||
| 3 | (* Feel free to mask some of the definitions by removing them from this file. *) |
||
| 4 | |||
| 5 | node BusSelector_nonvirtual_PP (In1_1: real; |
||
| 6 | In1_2: real; |
||
| 7 | In2_1: int; |
||
| 8 | In2_2: int; |
||
| 9 | In2_3: int; |
||
| 10 | In3_1: bool; |
||
| 11 | In3_2: bool; |
||
| 12 | In3_3: bool; |
||
| 13 | In3_4: bool) returns (Out1_1: real; |
||
| 14 | Out1_2: real; |
||
| 15 | Out2_1: int; |
||
| 16 | Out2_2: int; |
||
| 17 | Out2_3: int; |
||
| 18 | Out3_1: bool; |
||
| 19 | Out3_2: bool; |
||
| 20 | Out3_3: bool; |
||
| 21 | Out3_4: bool); |
||
| 22 |