Project

General

Profile

Revision 8d164031 include/mpfr_lustre.lusi

View differences:

include/mpfr_lustre.lusi
22 22

  
23 23
-- Functions already available in conv
24 24
function MPFRint_to_real (x: int) returns (y: real);
25
function MPFRreal_to_int (in1: real) returns (out: int);
26
function MPFRFloor (in1: real) returns (out: int);
27
function MPFRCeiling (in1: real) returns (out: int);
28
function MPFRRound (in1: real) returns (out: int);
25 29

  
26 30
-- Functions already available in lustrec_math
27 31

  

Also available in: Unified diff