barvinok.h

   1 #ifndef BARVINOK_H
   2 #define BARVINOK_H
   3
   4 #include <gmp.h>
   5
   6 #if defined(__cplusplus)
   7 extern "C" {
   8 #endif
   9
  10 #include <polylib/polylibgmp.h>
  11
  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);
  18 evalue *barvinok_enumerate_pip(Polyhedron *P,
  19                           unsigned exist, unsigned nparam, unsigned MaxRays);
  20
  21 /* private function */
  22 evalue* bv_ceil3(Value *coef, int len, Value d, Polyhedron *P);
  23
  24 #if defined(__cplusplus)
  25 }
  26 #endif
  27
  28 #endif