update isl for help message printing
[barvinok/uuh.git] / conversion.h
blob87d1836fef273ea0fe654ba91cb2a071f0253257
1 #include <gmp.h>
2 #include <NTL/mat_ZZ.h>
3 #include <barvinok/polylib.h>
5 #ifdef NTL_STD_CXX
6 using namespace NTL;
7 #endif
9 void value2zz(Value v, ZZ& z);
10 void zz2value(const ZZ& z, Value& v);
11 void values2zz(Value *p, vec_ZZ& v, int len);
12 void zz2values(const vec_ZZ& v, Value *p);
13 void matrix2zz(Matrix *M, mat_ZZ& m, unsigned nr, unsigned nc);
14 Matrix *rays(Polyhedron *C);
15 Matrix *rays2(Polyhedron *C);
16 Matrix *zz2matrix(const mat_ZZ& rays);
17 void rays(Polyhedron *C, mat_ZZ& rays);
18 void randomvector(Polyhedron *P, vec_ZZ& lambda, int nvar, int n_try);