verify.c: extract some helper functions for isl based verification
[barvinok/uuh.git] / volume.h
blob10a63dfe511f1e81f921f9a9859ea1433b83224d
1 #include <barvinok/evalue.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct barvinok_options;
9 evalue* Param_Polyhedron_Volume(Polyhedron *P, Polyhedron* C,
10 struct barvinok_options *options);
12 #if defined(__cplusplus)
14 #endif