1

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

2

(* by LustreC compiler version 1.7888@GITBRANCH@, 2018/11/4, 20:22:07 *)

3

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

4


5

node ForEach1_125_038 (In1_1: real;

6

__time_step: real;

7

__nb_step: int) returns (Out1_1: real);

8


9

node ForEach2_155_051 (In1_1: real;

10

__time_step: real;

11

__nb_step: int) returns (Out1_1: real);

12


13

node ForEach1_17594_078 (In1_1: real;

14

__time_step: real;

15

__nb_step: int) returns (Out1_1: real);

16


17

node ForEach2_17633_078 (In1_1: real;

18

__time_step: real;

19

__nb_step: int) returns (Out1_1: real);

20


21

node DTFScalar_122_694 (In1_1: real;

22

In1_2: real;

23

__time_step: real;

24

__nb_step: int) returns (Out1_1: real;

25

Out1_2: real);

26


27

node DTFScalar_289_047 (In1_1: real;

28

In1_2: real;

29

__time_step: real;

30

__nb_step: int) returns (Out1_1: real;

31

Out1_2: real);

32


33

node DiscreteFIRFilter1_120_049 (U_1: real;

34

U_2: real;

35

__time_step: real;

36

__nb_step: int) returns (Y_1: real;

37

Y_2: real);

38


39

node DiscreteFIRFilter_119_476 (U_1: real;

40

U_2: real;

41

__time_step: real;

42

__nb_step: int) returns (Y_1: real;

43

Y_2: real);

44


45

node DiscreteFIRFilter_1_orig_vs_preprocessed_PP (_virtual: bool) returns (Out1_1: real;

46

Out1_2: real;

47

Out2_1: real;

48

Out2_2: real);

49


50

