Assigning intervals

Function: void ap_interval_set (ap_interval_t* rop, ap_interval_t* op)

Set the value of rop from op.

Function: void ap_interval_set_scalar (ap_interval_t* rop, ap_scalar_t* inf, ap_scalar_t* sup)

Set the value of rop from the interval [inf,sup].

Function: void ap_interval_set_mpq (ap_interval_t* rop, mpq_t inf, mpq_t sup)

Function: void ap_interval_set_int (ap_interval_t* rop, int inf, int sup)

Function: void ap_interval_set_frac (ap_interval_t* rop, int numinf, int deninf, int numsup, int densup)

Set the value of rop from the interval [inf,sup] or [numinf/deninf,numsup/densup]. The scalars are of type MPQ.

Function: void ap_interval_set_double (ap_interval_t* rop, double inf, double sup)

Set the value of rop from the interval [inf,sup]. The scalars are of type DOUBLE.

Function: void ap_interval_set_top (ap_interval_t* op)

Function: void ap_interval_set_bottom (ap_interval_t* op)

Set the value of rop resp. to the top interval [-oo,+oo] or to the empty interval [+1,-1].

Function: ap_interval_t* ap_interval_alloc_set (ap_interval_t* op)

Combined allocation and assignement.