1

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

2

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

3

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

4


5

#open <conv>

6


7

function _max_real (x: real;

8

y: real) returns (z: real);

9


10

function _min_real (x: real;

11

y: real) returns (z: real);

12


13

function Saturation_36_044 (In_1: real;

14

In_2: real;

15

__time_step: real;

16

__nb_step: int) returns (Out_1: real;

17

Out_2: real);

18


19

node Assignment2_PP (In1_1: real;

20

In1_2: real;

21

In2_1: real;

22

In2_2: real;

23

In2_3: real;

24

In2_4: real;

25

In2_5: real;

26

In2_6: real;

27

In2_7: real;

28

In2_8: real;

29

In2_9: real;

30

In2_10: real;

31

In2_11: real;

32

In2_12: real;

33

In3_1: real;

34

In3_2: real;

35

In3_3: real;

36

In3_4: real;

37

In3_5: real;

38

In3_6: real) returns (Out3_1: real;

39

Out3_2: real;

40

Out3_3: real;

41

Out3_4: real;

42

Out3_5: real;

43

Out3_6: real;

44

Out3_7: real;

45

Out3_8: real;

46

Out3_9: real;

47

Out3_10: real;

48

Out3_11: real;

49

Out3_12: real);

50


51

