Project

General

Profile

Revision e5d77428

View differences:

include/conv.lusi
1 1
function real_to_int (in1: real) returns (out: int) prototype C;
2
function _Floor (in1: real) returns (out: int) prototype C;
3
function _floor (in1: real) returns (out: real) prototype C;
4
function _Ceiling (in1: real) returns (out: int) prototype C;
5
function _ceil (in1: real) returns (out: real) prototype C;
6
function _Round (in1: real) returns (out: int) prototype C;
7
function _round (in1: real) returns (out: real) prototype C;
8

  
9 2
function int_to_real (in1: int) returns (out: real) prototype C;
3

  
4
function _Floor (in1: real) returns (out: int) prototype C lib m;
5
function _floor (in1: real) returns (out: real) prototype C lib m;
6
function _Ceiling (in1: real) returns (out: int) prototype C lib m;
7
function _ceil (in1: real) returns (out: real) prototype C lib m;
8
function _Round (in1: real) returns (out: int) prototype C lib m;
9
function _round (in1: real) returns (out: real) prototype C lib m;
10

  
include/mpfr_lustre.c
95 95
  mpfr_clear(i);
96 96
}
97 97

  
98
// functions of conv
99

  
100
void MPFRint_to_real_step (int i, mpfr_t out)
101
{
102
  mpfr_set_si(out, i, MPFR_RNDN);
103
}
98 104
// functions of lustrec_math
99 105
void MPFRacos_step (mpfr_t i, 
100 106
                             mpfr_t out
include/mpfr_lustre.lusi
20 20

  
21 21
function MPFRNeq(i1, i2: real) returns (out: bool);
22 22

  
23
-- Functions already available in conv
24
function MPFRint_to_real (x: int) returns (y: real);
25

  
23 26
-- Functions already available in lustrec_math
24 27

  
25 28
function MPFRacos (x: real) returns (y: real) ;
src/plugins/mpfr/mpfr.ml
97 97
  | ">"      -> "MPFRGt"
98 98
  | "="      -> "MPFREq"
99 99
  | "!="     -> "MPFRNeq"
100
  (* Conv functions *)
101
  | "int_to_real" -> "MPFRint_to_real"
100 102
  (* Math library functions *)
101 103
  | "acos" -> "MPFRacos"
102 104
  | "acosh" -> "MPFRacosh"

Also available in: Unified diff