lustrec-tests/regression_tests/lustre_files/success/Simulink/src_many_files/DiscreteStateSpace_1_PP.LUSTREC.lusi @ 4748b215
| 1 | 4748b215 | hbourbou | (* Generated Lustre Interface file from DiscreteStateSpace_1_PP.LUSTREC.lus *) |
|---|---|---|---|
| 2 | (* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:10 *) |
||
| 3 | (* Feel free to mask some of the definitions by removing them from this file. *) |
||
| 4 | |||
| 5 | node DSS_17_068 (U_1: real; |
||
| 6 | U_2: real; |
||
| 7 | __time_step: real; |
||
| 8 | __nb_step: int) returns (Y_1: real; |
||
| 9 | Y_2: real); |
||
| 10 | |||
| 11 | node DiscreteStateSpace_1_PP (In1_1: real; |
||
| 12 | In1_2: real) returns (Out1_1: real; |
||
| 13 | Out1_2: real); |
||
| 14 |