CristalCaveGem » LustreC » Lustrec-Tests

(* Generated Lustre Interface file from BusSelector3_PP.LUSTREC.lus *)

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

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

node BusSelector3_PP (chirp_1: real;

sine_1: real;

sine_2: real;

sine_3: real;

step_1: bool;

step_2: bool;

step_3: bool;

step_4: bool;

x4_1: bool;

x4_2: bool;

x4_3: bool;

x4_4: bool;

x4_5: bool;

x5_1: bool;

x5_2: bool;

x5_3: bool;

x5_4: bool;

x5_5: bool) returns (Out2_1: real;

Out2_2: real;

Out2_3: real;

Out3_1: bool;

Out3_2: bool;

Out3_3: bool;

Out3_4: bool;

Out4_1: real;

Out1_1: bool;

Out1_2: bool;

Out1_3: bool;

Out1_4: bool;

Out1_5: bool;

Out5_1: bool;

Out5_2: bool;

Out5_3: bool;

Out5_4: bool;

Out5_5: bool;

Out6_1: real;

Out6_2: real;

Out6_3: real;

Out6_4: real);