memory leak
[barvinok.git] / barvinok.h
bloba44eb9bdd30ecff7a7704360c4766001e4deb49c
1 #ifndef BARVINOK_H
2 #define BARVINOK_H
4 #include <gmp.h>
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
10 #include <polylib/polylibgmp.h>
12 void barvinok_decompose(Polyhedron *C, Polyhedron **ppos, Polyhedron **pneg);
13 void barvinok_count(Polyhedron *P, Value* result, unsigned NbMaxCons);
14 Enumeration* barvinok_enumerate(Polyhedron *P, Polyhedron* C, unsigned MaxRays);
15 evalue* barvinok_enumerate_ev(Polyhedron *P, Polyhedron* C, unsigned MaxRays);
16 evalue* barvinok_enumerate_e(Polyhedron *P,
17 unsigned exist, unsigned nparam, unsigned MaxRays);
19 /* private function */
20 evalue* bv_ceil3(Value *coef, int len, Value d, Polyhedron *P);
22 #if defined(__cplusplus)
24 #endif
26 #endif