isl_piplib.c

   1 #include "isl_piplib.h"
   2
   3 void isl_seq_cpy_to_pip(Entier *dst, isl_int *src, unsigned len)
   4 {
   5         int i;
   6
   7         for (i = 0; i < len; ++i)
   8                 entier_assign(dst[i], src[i]);
   9 }
  10
  11 void isl_seq_cpy_from_pip(isl_int *dst, Entier *src, unsigned len)
  12 {
  13         int i;
  14
  15         for (i = 0; i < len; ++i)
  16                 entier_assign(dst[i], src[i]);
  17 }