Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / mpfr_lustre.lusi @ 52016bbb

History | View | Annotate | Download (599 Bytes)

1

    
2

    
3
function MPFRUminus(i: real) returns (out: real) lib gmp lib mpfr;
4

    
5
function MPFRPlus(i1, i2: real) returns (out: real);
6

    
7
function MPFRMinus(i1, i2: real) returns (out: real);
8

    
9
function MPFRTimes(i1, i2: real) returns (out: real);
10

    
11
function MPFRDiv(i1, i2: real) returns (out: real);
12

    
13
function MPFRLe(i1, i2: real) returns (out: bool);
14

    
15
function MPFRLt(i1, i2: real) returns (out: bool);
16

    
17
function MPFRGe(i1, i2: real) returns (out: bool);
18

    
19
function MPFRGt(i1, i2: real) returns (out: bool);
20

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

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