Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / mpfr_lustre.h @ e301f1fb

History | View | Annotate | Download (1.87 KB)

1
/* C code generated by lustrec
2
   Version number 1.1-Unversioned directory
3
   Code is C99 compliant
4
   Using MPFR multi-precision numbers */
5
   
6
#ifndef _MPFR_LUSTRE
7
#define _MPFR_LUSTRE
8

    
9
/* Imports standard library */
10
#include <mpfr.h>
11
#include "/Users/Teme/Documents/GitHub/lustrec/include/lustrec/arrow.h"
12

    
13

    
14
/* Import dependencies */
15

    
16
/* Types definitions */
17

    
18
/* Global constant (declarations, definitions are in C file) */
19

    
20
/* Global initialization declaration */
21
extern void MPFR_LUSTRE_INIT ();
22

    
23
/* Global clear declaration */
24
extern void MPFR_LUSTRE_CLEAR ();
25

    
26
/* Structs declarations */
27

    
28
/* Nodes declarations */
29
extern void MPFRNeq_step (mpfr_t i1, mpfr_t i2, 
30
                          _Bool (*out)
31
                          );
32

    
33
extern void MPFREq_step (mpfr_t i1, mpfr_t i2, 
34
                         _Bool (*out)
35
                         );
36

    
37
extern void MPFRGt_step (mpfr_t i1, mpfr_t i2, 
38
                         _Bool (*out)
39
                         );
40

    
41
extern void MPFRGe_step (mpfr_t i1, mpfr_t i2, 
42
                         _Bool (*out)
43
                         );
44

    
45
extern void MPFRLt_step (mpfr_t i1, mpfr_t i2, 
46
                         _Bool (*out)
47
                         );
48

    
49
extern void MPFRLe_step (mpfr_t i1, mpfr_t i2, 
50
                         _Bool (*out)
51
                         );
52

    
53
extern void MPFRDiv_step (mpfr_t i1, mpfr_t i2, 
54
                          mpfr_t out
55
                          );
56

    
57
extern void MPFRTimes_step (mpfr_t i1, mpfr_t i2, 
58
                            mpfr_t out
59
                            );
60

    
61
extern void MPFRMinus_step (mpfr_t i1, mpfr_t i2, 
62
                            mpfr_t out
63
                            );
64

    
65
extern void MPFRPlus_step (mpfr_t i1, mpfr_t i2, 
66
                           mpfr_t out
67
                           );
68

    
69
extern void MPFRUminus_step (mpfr_t i, 
70
                             mpfr_t out
71
                             );
72

    
73

    
74
#endif
75