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