isl_val_private.h

   1 #ifndef ISL_VAL_PRIVATE_H
   2 #define ISL_VAL_PRIVATE_H
   3
   4 #include <isl/int.h>
   5 #include <isl/val.h>
   6
   7 /* Represents a "value", which may be an integer value, a rational value,
   8  * plus or minus infinity or "not a number".
   9  *
  10  * Internally, +infinity is represented as 1/0,
  11  * -infinity as -1/0 and NaN as 0/0.
  12  *
  13  * A rational value is always normalized before it is passed to the user.
  14  */
  15 struct isl_val {
  16         int ref;
  17         isl_ctx *ctx;
  18
  19         isl_int n;
  20         isl_int d;
  21 };
  22
  23 #undef EL
  24 #define EL isl_val
  25
  26 #include <isl_list_templ.h>
  27
  28 __isl_give isl_val *isl_val_alloc(isl_ctx *ctx);
  29 __isl_give isl_val *isl_val_normalize(__isl_take isl_val *v);
  30 __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n);
  31 __isl_give isl_val *isl_val_rat_from_isl_int(isl_ctx *ctx,
  32         isl_int n, isl_int d);
  33 __isl_give isl_val *isl_val_cow(__isl_take isl_val *val);
  34
  35 #endif