Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / mpfr_lustre.lusi @ 52016bbb

History | View | Annotate | Download (599 Bytes)

1 52016bbb xthirioux
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);