polysign.c

   1 #include <barvinok/options.h>
   2 #include <barvinok/util.h>
   3 #include "polysign.h"
   4 #include "config.h"
   5
   6 #ifndef HAVE_LIBCDDGMP
   7 enum order_sign cdd_polyhedron_affine_sign(Polyhedron *D, Matrix *T,
   8                                             struct barvinok_options *options)
   9 {
  10     assert(0);
  11 }
  12
  13 enum order_sign cddf_polyhedron_affine_sign(Polyhedron *D, Matrix *T,
  14                                             struct barvinok_options *options)
  15 {
  16     assert(0);
  17 }
  18 #endif
  19
  20 enum order_sign polyhedron_affine_sign(Polyhedron *D, Matrix *T,
  21                                             struct lexmin_options *options)
  22 {
  23     if (options->polysign == BV_LEXMIN_POLYSIGN_POLYLIB)
  24         return PL_polyhedron_affine_sign(D, T, options->verify.barvinok);
  25     else if (options->polysign == BV_LEXMIN_POLYSIGN_CDD)
  26         return cdd_polyhedron_affine_sign(D, T, options->verify.barvinok);
  27     else if (options->polysign == BV_LEXMIN_POLYSIGN_CDDF)
  28         return cddf_polyhedron_affine_sign(D, T, options->verify.barvinok);
  29     else
  30         assert(0);
  31 }