repo.or.cz
/
barvinok
/
uuh.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
verify.c: extract some helper functions for isl based verification
[barvinok/uuh.git]
/
volume.h
blob
10a63dfe511f1e81f921f9a9859ea1433b83224d
1
#include <barvinok/evalue.h>
2
3
#if defined(__cplusplus)
4
extern
"C"
{
5
#endif
6
7
struct
barvinok_options
;
8
9
evalue
*
Param_Polyhedron_Volume
(
Polyhedron
*
P
,
Polyhedron
*
C
,
10
struct
barvinok_options
*
options
);
11
12
#if defined(__cplusplus)
13
}
14
#endif