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

History | View | Annotate | Download (1.36 KB)

1 |
(* 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 | |

86 |