verify.c: extract some helper functions for isl based verification
[barvinok/uuh.git] / remove_equalities.h
blob794e45ba55581bcb22b3421d5d7fec3e42cec945
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 int remove_all_equalities(Polyhedron **P, Polyhedron **C, Matrix **CPP, Matrix **CVP,
8 unsigned nparam, unsigned MaxRays);
10 #if defined(__cplusplus)
12 #endif