Project

General

Profile

Download (675 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(* Generated Lustre Interface file from LookupTable1D_flat_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:22 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
function _max_real (x: real;
6
y: real) returns (z: real);
7

    
8
function _min_real (x: real;
9
y: real) returns (z: real);
10

    
11
function abs_real (x: real) returns (y: real);
12

    
13
function Saturation_33_599 (In_1: real;
14
__time_step: real;
15
__nb_step: int) returns (Out_1: real);
16

    
17
function x1_minus_DLookupTable_30_969_ext_node (Saturation_1: real) returns (x1_minus_DLookupTable_1: real);
18

    
19
node LookupTable1D_flat_PP (In4_1: real) returns (Out2_1: real);
20

    
21

    
(830-830/1153)