isl_int.h

   1 /*
   2  * Copyright 2008-2009 Katholieke Universiteit Leuven
   3  *
   4  * Use of this software is governed by the MIT license
   5  *
   6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
   7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
   8  */
   9
  10 #ifndef ISL_INT_H
  11 #define ISL_INT_H
  12 #define ISL_DEPRECATED_INT_H
  13
  14 #include <isl/hash.h>
  15 #include <isl/printer.h>
  16 #include <string.h>
  17 #include <isl_config.h>
  18
  19 #ifdef USE_GMP_FOR_MP
  20 #include <isl_int_gmp.h>
  21 #endif
  22
  23 #ifdef USE_IMATH_FOR_MP
  24 #include <isl_int_imath.h>
  25 #endif
  26
  27 #define isl_int_is_zero(i)      (isl_int_sgn(i) == 0)
  28 #define isl_int_is_one(i)       (isl_int_cmp_si(i,1) == 0)
  29 #define isl_int_is_negone(i)    (isl_int_cmp_si(i,-1) == 0)
  30 #define isl_int_is_pos(i)       (isl_int_sgn(i) > 0)
  31 #define isl_int_is_neg(i)       (isl_int_sgn(i) < 0)
  32 #define isl_int_is_nonpos(i)    (isl_int_sgn(i) <= 0)
  33 #define isl_int_is_nonneg(i)    (isl_int_sgn(i) >= 0)
  34
  35 #define isl_int_print(out,i,width)                                      \
  36         do {                                                            \
  37                 char *s;                                                \
  38                 s = isl_int_get_str(i);                                 \
  39                 fprintf(out, "%*s", width, s);                          \
  40                 isl_int_free_str(s);                                        \
  41         } while (0)
  42
  43 __isl_give isl_printer *isl_printer_print_isl_int(__isl_take isl_printer *p,
  44         isl_int i);
  45
  46 #endif /* ISL_INT_H */