repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
summate.c: avoid use of isl_union_pw_qpolynomial_add_pw_qpolynomial
[barvinok.git]
/
verif_ehrhart.h
blob
669c0c3295b4e53a8bdf847d614b9fb463a3ee3d
1
#if defined(__cplusplus)
2
extern
"C"
{
3
#endif
4
5
#include <barvinok/evalue.h>
6
#include
"verify.h"
7
8
int
check_poly_EP
(
Polyhedron
*
S
,
Polyhedron
*
CS
,
evalue
*
EP
,
int
exist
,
9
int
nparam
,
int
pos
,
Value
*
z
,
10
const struct
verify_options
*
options
);
11
12
#if defined(__cplusplus)
13
}
14
#endif