bound.c: split_on_size: use isl_val
[barvinok.git] / decomposer.h
blob88d7e4a3683fb87538c978d7365254d708d986d9
1 #ifndef DECOMPOSER_H
2 #define DECOMPOSER_H
4 #include <gmp.h>
5 #include <NTL/mat_ZZ.h>
6 #include <barvinok/polylib.h>
7 #include <barvinok/options.h>
9 #ifdef NTL_STD_CXX
10 using namespace NTL;
11 #endif
13 struct signed_cone {
14 signed_cone(const mat_ZZ& rays, int sign, unsigned long det) :
15 C(NULL), rays(rays), sign(sign), det(det) {}
16 signed_cone(Polyhedron *C, const mat_ZZ& rays, int sign,
17 unsigned long det = 0) :
18 C(C), rays(rays), sign(sign), det(det) {}
19 Polyhedron *C;
20 const mat_ZZ& rays;
21 int sign;
22 unsigned long det;
25 struct signed_cone_consumer {
26 virtual void handle(const signed_cone& sc, barvinok_options *options) = 0;
27 virtual ~signed_cone_consumer() {}
30 struct vertex_decomposer {
31 Param_Polyhedron *PP;
32 Param_Vertices *V; // current vertex
33 int vert; // current vertex index
34 signed_cone_consumer& scc;
36 vertex_decomposer(Param_Polyhedron *PP, signed_cone_consumer& scc) :
37 PP(PP), scc(scc) {}
38 void decompose_at_vertex(Param_Vertices *V, int _i, barvinok_options *options);
41 void barvinok_decompose(Polyhedron *C, signed_cone_consumer& scc,
42 barvinok_options *options);
44 #endif