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

History | View | Annotate | Download (1.36 KB)

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

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

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

4 | |||

5 | function int_to_bool (x: int) returns (y: bool); |
||

6 | |||

7 | function real_to_bool (x: real) returns (y: bool); |
||

8 | |||

9 | node Logical (In4_1: real; |
||

10 | In4_2: real; |
||

11 | In4_3: real; |
||

12 | In1_1: int; |
||

13 | In1_2: int; |
||

14 | In1_3: int; |
||

15 | In2_1: real; |
||

16 | In2_2: real; |
||

17 | In2_3: real; |
||

18 | In3_1: real; |
||

19 | In3_2: real; |
||

20 | In3_3: real; |
||

21 | In5_1: real; |
||

22 | In5_2: real; |
||

23 | In5_3: real; |
||

24 | In6_1: real; |
||

25 | In6_2: real; |
||

26 | In6_3: real; |
||

27 | In7_1: real; |
||

28 | In7_2: real; |
||

29 | In7_3: real; |
||

30 | In8_1: real; |
||

31 | In8_2: real; |
||

32 | In8_3: real; |
||

33 | In9_1: real; |
||

34 | In9_2: real; |
||

35 | In9_3: real; |
||

36 | In10_1: real; |
||

37 | In10_2: real; |
||

38 | In10_3: real; |
||

39 | In11_1: real; |
||

40 | In11_2: real; |
||

41 | In11_3: real; |
||

42 | In12_1: real; |
||

43 | In12_2: real; |
||

44 | In12_3: real; |
||

45 | In13_1: real; |
||

46 | In13_2: real; |
||

47 | In13_3: real; |
||

48 | In14_1: real; |
||

49 | In15_1: int; |
||

50 | In15_2: int; |
||

51 | In15_3: int; |
||

52 | In16_1: real; |
||

53 | In17_1: int; |
||

54 | In17_2: int; |
||

55 | In17_3: int; |
||

56 | In18_1: int; |
||

57 | In18_2: int; |
||

58 | In18_3: int) returns (Out2_1: bool; |
||

59 | Out2_2: bool; |
||

60 | Out2_3: bool; |
||

61 | Out1_1: bool; |
||

62 | Out1_2: bool; |
||

63 | Out1_3: bool; |
||

64 | Out3_1: bool; |
||

65 | Out3_2: bool; |
||

66 | Out3_3: bool; |
||

67 | Out4_1: bool; |
||

68 | Out4_2: bool; |
||

69 | Out4_3: bool; |
||

70 | Out5_1: bool; |
||

71 | Out5_2: bool; |
||

72 | Out5_3: bool; |
||

73 | Out6_1: bool; |
||

74 | Out6_2: bool; |
||

75 | Out6_3: bool; |
||

76 | Out7_1: bool; |
||

77 | Out7_2: bool; |
||

78 | Out7_3: bool; |
||

79 | Out8_1: bool; |
||

80 | Out8_2: bool; |
||

81 | Out8_3: bool; |
||

82 | Out9_1: bool; |
||

83 | Out9_2: bool; |
||

84 | Out9_3: bool); |
||

85 |