Download (1.42 KB) Statistics
| Branch: | Tag: | Revision:
(* Generated Lustre Interface file from detect_change_test.lus *)
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:54:57 *)
(* Feel free to mask some of the definitions by removing them from this file. *)

node detect_change_test (In1_1_1: real; In2_1_1: real; In2_1_2: real; In2_1_3: real; In2_1_4: real; In2_1_5: real; In3_1_1: int; In3_1_2: int; In3_1_3: int; In3_1_4: int; In3_1_5: int; In3_1_6: int; In4_1_1: real; In5_1_1: real; In5_1_2: real; In5_1_3: real; In5_1_4: real; In5_1_5: real; In6_1_1: int; In6_1_2: int; In6_1_3: int; In6_1_4: int; In6_1_5: int; In6_1_6: int; In7_1_1: real; In8_1_1: real; In8_1_2: real; In8_1_3: real; In8_1_4: real; In8_1_5: real; In9_1_1: int; In9_1_2: int; In9_1_3: int; In9_1_4: int; In9_1_5: int; In9_1_6: int; In10_1_1: bool; In11_1_1: bool; In12_1_1: bool) returns (Out1_1_1: bool; Out2_2_1: bool; Out2_2_2: bool; Out2_2_3: bool; Out2_2_4: bool; Out2_2_5: bool; Out3_3_1: bool; Out3_3_2: bool; Out3_3_3: bool; Out3_3_4: bool; Out3_3_5: bool; Out3_3_6: bool; Out4_4_1: bool; Out5_5_1: bool; Out5_5_2: bool; Out5_5_3: bool; Out5_5_4: bool; Out5_5_5: bool; Out6_6_1: bool; Out6_6_2: bool; Out6_6_3: bool; Out6_6_4: bool; Out6_6_5: bool; Out6_6_6: bool; Out7_7_1: bool; Out8_8_1: bool; Out8_8_2: bool; Out8_8_3: bool; Out8_8_4: bool; Out8_8_5: bool; Out9_9_1: bool; Out9_9_2: bool; Out9_9_3: bool; Out9_9_4: bool; Out9_9_5: bool; Out9_9_6: bool; Out10_10_1: bool; Out11_11_1: bool; Out12_12_1: bool);