6 #if defined(__cplusplus)
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_e(Polyhedron
*P
,
16 unsigned exist
, unsigned nparam
, unsigned MaxRays
);
18 evalue
* ceil3(Value
*coef
, int len
, Value d
);
20 #if defined(__cplusplus)