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
parker/count_solutions.cc: fix treatment of existentially quantified variables
[barvinok.git]
/
remove_equalities.h
blob
794e45ba55581bcb22b3421d5d7fec3e42cec945
1
#include <barvinok/polylib.h>
2
3
#if defined(__cplusplus)
4
extern
"C"
{
5
#endif
6
7
int
remove_all_equalities
(
Polyhedron
**
P
,
Polyhedron
**
C
,
Matrix
**
CPP
,
Matrix
**
CVP
,
8
unsigned
nparam
,
unsigned
MaxRays
);
9
10
#if defined(__cplusplus)
11
}
12
#endif