Test whether linear combination of existential variables
[barvinok.git] / barvinok2.h
blob92b54e96ce53f30918d4c858ffbaffe78fba1c78
1 #ifndef BARVINOK2_H
2 #define BARVINOK2_H
4 #include <gmp.h>
5 extern "C" {
6 #include <polylib/polylibgmp.h>
8 #include <genfun.h>
10 gen_fun * barvinok_series(Polyhedron *P, Polyhedron* C, unsigned MaxRays);
12 #endif