decomposer.cc: directly include required headers
[barvinok.git] / conversion.h
blob8035959d2bbe19833f8c644994dcb6f01b0bb82a
1 #include <gmp.h>
2 #include <NTL/ZZ.h>
3 #include <NTL/vec_ZZ.h>
4 #include <NTL/mat_ZZ.h>
5 #include <barvinok/polylib.h>
7 using namespace NTL;
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);