Project

General

Profile

Download (998 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(* Generated Lustre Interface file from DTI_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:04 *)
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
node Discrete_minus_TimeIntegrator1_51_095 (f_lpar_x_rpar__1: real;
8
reset_falling_1: bool;
9
__time_step: real;
10
__nb_step: int) returns (F_lpar_x_rpar__1: real);
11

    
12
node Discrete_minus_TimeIntegrator2_52_085 (f_lpar_x_rpar__1: real;
13
x0_1: real;
14
__time_step: real;
15
__nb_step: int) returns (F_lpar_x_rpar__1: real);
16

    
17
node Discrete_minus_TimeIntegrator3_53_481 (f_lpar_x_rpar__1: real;
18
reset_level_1: bool;
19
x0_1: real;
20
__time_step: real;
21
__nb_step: int) returns (F_lpar_x_rpar__1: real);
22

    
23
node Discrete_minus_TimeIntegrator_50_063 (f_lpar_x_rpar__1: real;
24
__time_step: real;
25
__nb_step: int) returns (F_lpar_x_rpar__1: real);
26

    
27
node DTI_PP (In1_1: bool;
28
In2_1: real) returns (Out1_1: real;
29
Out2_1: real;
30
Out3_1: real;
31
Out4_1: real);
32

    
33

    
(374-374/1153)