isl_piplib.h

   1 #ifndef ISL_PIPLIB_H
   2 #define ISL_PIPLIB_H
   3
   4 #include <isl_ctx.h>
   5 #include <isl_int.h>
   6 #include <isl_map.h>
   7 #ifndef ISL_PIPLIB
   8 #error "no piplib"
   9 #endif
  10
  11 #include <piplib/piplibMP.h>
  12
  13 void isl_seq_cpy_to_pip(Entier *dst, isl_int *src, unsigned len);
  14 void isl_seq_cpy_from_pip(isl_int *dst, Entier *src, unsigned len);
  15
  16 PipMatrix *isl_basic_map_to_pip(struct isl_basic_map *bmap, unsigned pip_param,
  17                          unsigned extra_front, unsigned extra_back);
  18
  19 #endif