4 #include <barvinok/evalue.h>
6 #if defined(__cplusplus)
10 #include <barvinok/options.h>
12 void barvinok_decompose(Polyhedron
*C
, Polyhedron
**ppos
, Polyhedron
**pneg
);
13 void barvinok_count(Polyhedron
*P
, Value
* result
, unsigned NbMaxCons
);
14 void barvinok_count_with_options(Polyhedron
*P
, Value
* result
,
15 struct barvinok_options
*options
);
16 Enumeration
* barvinok_enumerate(Polyhedron
*P
, Polyhedron
* C
, unsigned MaxRays
);
17 evalue
* barvinok_enumerate_ev(Polyhedron
*P
, Polyhedron
* C
, unsigned MaxRays
);
18 evalue
* barvinok_enumerate_with_options(Polyhedron
*P
, Polyhedron
* C
,
19 struct barvinok_options
*options
);
20 evalue
* barvinok_enumerate_e(Polyhedron
*P
,
21 unsigned exist
, unsigned nparam
, unsigned MaxRays
);
22 evalue
* barvinok_enumerate_e_with_options(Polyhedron
*P
,
23 unsigned exist
, unsigned nparam
, struct barvinok_options
*options
);
24 evalue
*barvinok_enumerate_pip(Polyhedron
*P
,
25 unsigned exist
, unsigned nparam
, unsigned MaxRays
);
26 evalue
*barvinok_enumerate_pip_with_options(Polyhedron
*P
,
27 unsigned exist
, unsigned nparam
, struct barvinok_options
*options
);
28 evalue
*barvinok_enumerate_scarf(Polyhedron
*P
,
29 unsigned exist
, unsigned nparam
,
30 struct barvinok_options
*options
);
31 evalue
* barvinok_enumerate_union(Polyhedron
*D
, Polyhedron
* C
, unsigned MaxRays
);
33 /* private function */
34 evalue
* bv_ceil3(Value
*coef
, int len
, Value d
, Polyhedron
*P
);
36 #if defined(__cplusplus)
40 #if defined(__cplusplus)
42 #include <barvinok/genfun.h>
44 void zz2value(const ZZ
& z
, Value
& v
);
45 gen_fun
* barvinok_series(Polyhedron
*P
, Polyhedron
* C
, unsigned MaxRays
);
46 gen_fun
* barvinok_series_with_options(Polyhedron
*P
, Polyhedron
* C
,
47 barvinok_options
*options
);
48 gen_fun
*barvinok_enumerate_scarf_series(Polyhedron
*P
,
49 unsigned exist
, unsigned nparam
,
50 barvinok_options
*options
);
51 gen_fun
* barvinok_enumerate_union_series(Polyhedron
*D
, Polyhedron
* C
,
53 gen_fun
* barvinok_enumerate_union_series_with_options(Polyhedron
*D
, Polyhedron
* C
,
54 barvinok_options
*options
);