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.cc: remove ancient debugging code
[barvinok.git]
/
reduce_domain.h
blob
5ddce44a38febfb028b7a20323a77a7ad8ef6c07
1
#include <gmp.h>
2
3
#if defined(__cplusplus)
4
extern
"C"
{
5
#endif
6
7
#include <polylib/polylibgmp.h>
8
9
Polyhedron
*
reduce_domain
(
Polyhedron
*
D
,
Matrix
*
CT
,
Polyhedron
*
CEq
,
10
Polyhedron
**
fVD
,
int
nd
,
unsigned
MaxRays
);
11
12
#if defined(__cplusplus)
13
}
14
#endif