decomposer.h

   1 #ifndef DECOMPOSER_H
   2 #define DECOMPOSER_H
   3
   4 #include <NTL/mat_ZZ.h>
   5 #include <barvinok/polylib.h>
   6 #include <barvinok/options.h>
   7
   8 using namespace NTL;
   9
  10 struct signed_cone {
  11     signed_cone(const mat_ZZ& rays, int sign, unsigned long det) :
  12                         C(NULL), rays(rays), sign(sign), det(det) {}
  13     signed_cone(Polyhedron *C, const mat_ZZ& rays, int sign,
  14                 unsigned long det = 0) :
  15                         C(C), rays(rays), sign(sign), det(det) {}
  16     Polyhedron *C;
  17     const mat_ZZ& rays;
  18     int sign;
  19     unsigned long det;
  20 };
  21
  22 struct signed_cone_consumer {
  23     virtual void handle(const signed_cone& sc, barvinok_options *options) = 0;
  24     virtual ~signed_cone_consumer() {}
  25 };
  26
  27 struct vertex_decomposer {
  28     Param_Polyhedron *PP;
  29     Param_Vertices *V;  // current vertex
  30     int vert;           // current vertex index
  31     signed_cone_consumer& scc;
  32
  33     vertex_decomposer(Param_Polyhedron *PP, signed_cone_consumer& scc) :
  34                         PP(PP), scc(scc) {}
  35     void decompose_at_vertex(Param_Vertices *V, int _i, barvinok_options *options);
  36 };
  37
  38 void barvinok_decompose(Polyhedron *C, signed_cone_consumer& scc,
  39                         barvinok_options *options);
  40
  41 #endif