5.1 Initialisation Functions

An mpri_t object must be initialised before storing the first value in it: the function mpri_init is used for that purpose, the function mpri_clear clears it out.

Inline Function: void mpri_init (mpri_t x)

Initialise x and set it to the singleton interval [0/1,0/1]. Normally, a variable should be initialised once only or at least be cleared out (using mpri_clear) between consecutive initialisation.

Inline Function: void mpri_clear (mpri_t x)

Free the space occupied by the endpoints of x. Make sure to call this function for all mpri_t variables when you are done with them.