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
barvinok_summate.c: verify_point: explicitly project onto parameter space
[barvinok.git]
/
isl_param_util.h
blob
81ca88bdfe98ee0f03bbb8ee6824f45e2ea0b616
1
#include <barvinok/options.h>
2
#include <barvinok/polylib.h>
3
4
#if defined(__cplusplus)
5
extern
"C"
{
6
#endif
7
8
Param_Polyhedron
*
ISL_P2PP
(
Polyhedron
*
P
,
Polyhedron
*
C
,
9
struct
barvinok_options
*
options
);
10
11
#if defined(__cplusplus)
12
}
13
#endif