## lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / DiscreteFilter_1_PP.LUSTREC.lusi @ cd1faebc

History | View | Annotate | Download (1.42 KB)

1 | 4748b215 | hbourbou | (* Generated Lustre Interface file from DiscreteFilter_1_PP.LUSTREC.lus *) |
---|---|---|---|

2 | (* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:07 *) |
||

3 | (* Feel free to mask some of the definitions by removing them from this file. *) |
||

4 | |||

5 | node ForEach1_16818_006 (In1_1: real; |
||

6 | __time_step: real; |
||

7 | __nb_step: int) returns (Out1_1: real); |
||

8 | |||

9 | node ForEach2_16857_006 (In1_1: real; |
||

10 | __time_step: real; |
||

11 | __nb_step: int) returns (Out1_1: real); |
||

12 | |||

13 | node ForEach3_17353_002 (In1_1: real; |
||

14 | __time_step: real; |
||

15 | __nb_step: int) returns (Out1_1: real); |
||

16 | |||

17 | node ForEach4_17385_002 (In1_1: real; |
||

18 | __time_step: real; |
||

19 | __nb_step: int) returns (Out1_1: real); |
||

20 | |||

21 | node ForEach5_17417_001 (In1_1: real; |
||

22 | __time_step: real; |
||

23 | __nb_step: int) returns (Out1_1: real); |
||

24 | |||

25 | node ForEach6_17449_001 (In1_1: real; |
||

26 | __time_step: real; |
||

27 | __nb_step: int) returns (Out1_1: real); |
||

28 | |||

29 | node DTFScalar_19_061 (In1_1: real; |
||

30 | In1_2: real; |
||

31 | In1_3: real; |
||

32 | In1_4: real; |
||

33 | In1_5: real; |
||

34 | In1_6: real; |
||

35 | __time_step: real; |
||

36 | __nb_step: int) returns (Out1_1: real; |
||

37 | Out1_2: real; |
||

38 | Out1_3: real; |
||

39 | Out1_4: real; |
||

40 | Out1_5: real; |
||

41 | Out1_6: real); |
||

42 | |||

43 | node DiscreteFilter_14_516 (U_1: real; |
||

44 | U_2: real; |
||

45 | U_3: real; |
||

46 | U_4: real; |
||

47 | U_5: real; |
||

48 | U_6: real; |
||

49 | __time_step: real; |
||

50 | __nb_step: int) returns (Y_1: real; |
||

51 | Y_2: real; |
||

52 | Y_3: real; |
||

53 | Y_4: real; |
||

54 | Y_5: real; |
||

55 | Y_6: real); |
||

56 | |||

57 | node DiscreteFilter_1_PP (In1_1: real; |
||

58 | In1_2: real; |
||

59 | In1_3: real; |
||

60 | In1_4: real; |
||

61 | In1_5: real; |
||

62 | In1_6: real) returns (Out1_1: real; |
||

63 | Out1_2: real; |
||

64 | Out1_3: real; |
||

65 | Out1_4: real; |
||

66 | Out1_5: real; |
||

67 | Out1_6: real); |
||

68 |