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
iscc: support transitive closure
[barvinok.git]
/
verify_series.h
blob
78f6d5a630f0758f77e7bf2ae920ed2395b26e96
1
#include <barvinok/evalue.h>
2
#include
"skewed_genfun.h"
3
#include
"verify.h"
4
5
int
check_poly_gf
(
Polyhedron
*
S
,
Polyhedron
*
CS
,
skewed_gen_fun
*
gf
,
6
int
exist
,
int
nparam
,
int
pos
,
Value
*
z
,
7
const struct
verify_options
*
options
);