basis_reduction.c

   1 #include <barvinok/basis_reduction.h>
   2 #include <barvinok/options.h>
   3 #include "config.h"
   4
   5 #ifndef HAVE_LIBGLPK
   6 Matrix *glpk_Polyhedron_Reduced_Basis(Polyhedron *P)
   7 {
   8     assert(0);
   9 }
  10 #endif
  11
  12 #ifndef HAVE_LIBCDDGMP
  13 Matrix *cdd_Polyhedron_Reduced_Basis(Polyhedron *P)
  14 {
  15     assert(0);
  16 }
  17 #endif
  18
  19 Matrix *Polyhedron_Reduced_Basis(Polyhedron *P, struct barvinok_options *options)
  20 {
  21     if (options->gbr_lp_solver == BV_GBR_GLPK)
  22         return glpk_Polyhedron_Reduced_Basis(P);
  23     else if (options->gbr_lp_solver == BV_GBR_CDD)
  24         return cdd_Polyhedron_Reduced_Basis(P);
  25     else
  26         assert(0);
  27 }