1

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

2

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

3

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

4


5

node A1_PP (In1_1: real;

6

In1_2: real;

7

In2_1: real;

8

In3_1: real;

9

In4_1: real;

10

In4_2: real;

11

In4_3: real;

12

In4_4: real;

13

In5_1: real;

14

In6_1: bool;

15

In7_1: bool) returns (Out1_1: bool);

16


17

function viewdvc_270_031 (In1_1: real;

18

__time_step: real;

19

__nb_step: int) returns (VerificationSubsystem_virtual: bool);

20


21

function viewdvc_258_027 (In1_1: real;

22

In1_2: real;

23

__time_step: real;

24

__nb_step: int) returns (VerificationSubsystem_virtual: bool);

25


26

function viewdvc_291_026 (In1_1: bool;

27

__time_step: real;

28

__nb_step: int) returns (VerificationSubsystem_virtual: bool);

29


30

function viewdvc_284_025 (In1_1: real;

31

__time_step: real;

32

__nb_step: int) returns (VerificationSubsystem_virtual: bool);

33


34

function viewdvc_277_026 (In1_1: real;

35

In1_2: real;

36

In1_3: real;

37

In1_4: real;

38

__time_step: real;

39

__nb_step: int) returns (VerificationSubsystem_virtual: bool);

40


41

function viewdvc_263_041 (In1_1: real;

42

__time_step: real;

43

__nb_step: int) returns (VerificationSubsystem_virtual: bool);

44


45

