Project

General

Profile

Revision e5d77428 include/mpfr_lustre.lusi

View differences:

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) ;

Also available in: Unified diff