1

/* C code generated by lustrec

2

Version number 1.1Unversioned directory

3

Code is C99 compliant

4

Using MPFR multiprecision 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

