Download (2.82 KB) Statistics
| Branch: | Tag: | Revision:
1 0c9457a0 bourbouh
(* Generated Lustre Interface file from logic_test.lus *)
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:55:0 *)
(* Feel free to mask some of the definitions by removing them from this file. *)
node logic_test (In1_1_1: bool; In4_1_1: real; In5_1_1: int; In6_1_1: real; In6_1_2: real; In7_1_1: int; In7_1_2: int; In7_1_3: int; In7_1_4: int; In7_1_5: int; In7_1_6: int; In8_1_1: real; In8_1_2: real; In9_1_1: real; In9_1_2: real; In10_1_1: int; In10_1_2: int; In10_1_3: int; In10_1_4: int; In10_1_5: int; In10_1_6: int; In11_1_1: int; In11_1_2: int; In11_1_3: int; In11_1_4: int; In11_1_5: int; In11_1_6: int; In12_1_1: real; In12_1_2: real; In13_1_1: real; In13_1_2: real; In14_1_1: int; In14_1_2: int; In14_1_3: int; In14_1_4: int; In14_1_5: int; In14_1_6: int; In15_1_1: int; In15_1_2: int; In15_1_3: int; In15_1_4: int; In15_1_5: int; In15_1_6: int; In16_1_1: real; In16_1_2: real; In17_1_1: real; In17_1_2: real; In18_1_1: int; In18_1_2: int; In18_1_3: int; In18_1_4: int; In18_1_5: int; In18_1_6: int; In19_1_1: int; In19_1_2: int; In19_1_3: int; In19_1_4: int; In19_1_5: int; In19_1_6: int; In20_1_1: real; In20_1_2: real; In21_1_1: real; In21_1_2: real; In22_1_1: int; In22_1_2: int; In22_1_3: int; In22_1_4: int; In22_1_5: int; In22_1_6: int; In23_1_1: int; In23_1_2: int; In23_1_3: int; In23_1_4: int; In23_1_5: int; In23_1_6: int; In24_1_1: real; In24_1_2: real; In25_1_1: real; In25_1_2: real; In26_1_1: int; In26_1_2: int; In26_1_3: int; In26_1_4: int; In26_1_5: int; In26_1_6: int; In27_1_1: int; In27_1_2: int; In27_1_3: int; In27_1_4: int; In27_1_5: int; In27_1_6: int; In2_1_1: bool; In2_1_2: bool; In3_1_1: bool; In3_1_2: bool; In3_1_3: bool; In3_1_4: bool) returns (Out1_1_1: bool; Out7_2_1: bool; Out8_3_1: bool; Out9_4_1: bool; Out9_4_2: bool; Out10_5_1: bool; Out10_5_2: bool; Out10_5_3: bool; Out10_5_4: bool; Out10_5_5: bool; Out10_5_6: bool; Out11_6_1: bool; Out11_6_2: bool; Out12_7_1: bool; Out12_7_2: bool; Out12_7_3: bool; Out12_7_4: bool; Out12_7_5: bool; Out12_7_6: bool; Out13_8_1: bool; Out13_8_2: bool; Out14_9_1: bool; Out14_9_2: bool; Out14_9_3: bool; Out14_9_4: bool; Out14_9_5: bool; Out14_9_6: bool; Out15_10_1: bool; Out15_10_2: bool; Out16_11_1: bool; Out16_11_2: bool; Out16_11_3: bool; Out16_11_4: bool; Out16_11_5: bool; Out16_11_6: bool; Out17_12_1: bool; Out17_12_2: bool; Out18_13_1: bool; Out18_13_2: bool; Out18_13_3: bool; Out18_13_4: bool; Out18_13_5: bool; Out18_13_6: bool; Out19_14_1: bool; Out19_14_2: bool; Out20_15_1: bool; Out20_15_2: bool; Out20_15_3: bool; Out20_15_4: bool; Out20_15_5: bool; Out20_15_6: bool; Out2_16_1: bool; Out2_16_2: bool; Out3_17_1: bool; Out3_17_2: bool; Out4_18_1: bool; Out4_18_2: bool; Out4_18_3: bool; Out4_18_4: bool; Out5_19_1: bool; Out5_19_2: bool; Out6_20_1: bool; Out6_20_2: bool; Out6_20_3: bool; Out6_20_4: bool; Out21_21_1: bool; Out21_21_2: bool; Out21_21_3: bool; Out21_21_4: bool);