use isl to perform "manual_count"
[barvinok.git] / hull.h
blob0de39270806209ae042f98b5c6a9dd0d015ed1ab
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct barvinok_options;
9 Matrix *Cone_Integer_Hull(Polyhedron *C, Matrix *candidates,
10 int n_candidates, struct barvinok_options *options);
11 Matrix *Polyhedron_Integer_Hull(Polyhedron *P,
12 struct barvinok_options *options);
14 #if defined(__cplusplus)
16 #endif