isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git] / hilbert.h
blobe131ba53eaf0c4325aef72e4a8e63fb6504ff21d
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct barvinok_options;
9 Matrix *Cone_Hilbert_Basis(Polyhedron *C, unsigned MaxRays);
10 Matrix *Cone_Hilbert_Integer_Hull(Polyhedron *C,
11 struct barvinok_options *options);
13 #if defined(__cplusplus)
15 #endif