1

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

2

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

3

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

4


5

function bool_to_real (x: bool) returns (y: real);

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

node Discrete_minus_TimeIntegrator_195_066 (f_lpar_x_rpar__1: real;

14

reset_level_1: bool;

15

x0_1: real;

16

__time_step: real;

17

__nb_step: int) returns (F_lpar_x_rpar__1: real);

18


19

function VariableLimitSaturation_200_066 (up_lim_1: real;

20

SigIn_1: real;

21

Lo_lim_1: real;

22

__time_step: real;

23

__nb_step: int) returns (Out1_1: real);

24


25

function Saturation_186_064 (In_1: real;

26

__time_step: real;

27

__nb_step: int) returns (Out_1: real);

28


29

function VariableLimitSaturation_227_078 (up_lim_1: real;

30

SigIn_1: real;

31

Lo_lim_1: real;

32

__time_step: real;

33

__nb_step: int) returns (Out1_1: real);

34


35

node VariableRateLimit_190_063 (ratelim_1: real;

36

input_1: real;

37

ICtrig_1: bool;

38

IC_1: real;

39

__time_step: real;

40

__nb_step: int) returns (output_1: real);

41


42

node AltitudeControl_170_245 (engage_1: bool;

43

AltCmd_1: real;

44

Altitude_1: real;

45

gskts_1: real;

46

hdot_1: real;

47

hdotChgRate_1: real;

48

maxHdotChg_1: real;

49

__time_step: real;

50

__nb_step: int) returns (altgamcmd_1: real);

51


52

node AltitudeControl_PP (In1_1: bool;

53

In2_1: real;

54

In3_1: real;

55

In4_1: real;

56

In5_1: real;

57

In6_1: real;

58

In7_1: real) returns (Out1_1: real);

59


60

