reduce_domain.h

   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