|
1
|
(* Generated Lustre Interface file from Divide_Integer_PP.LUSTREC.lus *)
|
|
2
|
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:11 *)
|
|
3
|
(* Feel free to mask some of the definitions by removing them from this file. *)
|
|
4
|
|
|
5
|
function abs_int (x: int) returns (y: int);
|
|
6
|
|
|
7
|
function int_div_Ceiling (x: int;
|
|
8
|
y: int) returns (z: int);
|
|
9
|
|
|
10
|
function rem_int_int (x: int;
|
|
11
|
y: int) returns (z: int);
|
|
12
|
|
|
13
|
function int_div_Floor (x: int;
|
|
14
|
y: int) returns (z: int);
|
|
15
|
|
|
16
|
function int_div_Nearest (x: int;
|
|
17
|
y: int) returns (z: int);
|
|
18
|
|
|
19
|
function int_div_Zero (x: int;
|
|
20
|
y: int) returns (z: int);
|
|
21
|
|
|
22
|
function int_to_int8 (x: int) returns (y: int);
|
|
23
|
|
|
24
|
node Divide_Integer_PP (In1_1: int;
|
|
25
|
In2_1: int) returns (Ceil_1: int;
|
|
26
|
floor_1: int;
|
|
27
|
nearest_1: int;
|
|
28
|
zero_1: int);
|
|
29
|
|
|
30
|
|