bound_common.c

   1 #include <assert.h>
   2 #include <barvinok/options.h>
   3 #include <bound_common.h>
   4
   5 #include "config.h"
   6
   7 #ifndef HAVE_GINAC
   8 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound_bernstein(
   9         __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type)
  10 {
  11         assert(0);
  12 }
  13 #endif
  14
  15 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_upper_bound(
  16         __isl_take isl_pw_qpolynomial *pwqp)
  17 {
  18 #ifdef HAVE_GINAC
  19         return isl_pw_qpolynomial_bound(pwqp, isl_fold_max, BV_BOUND_BERNSTEIN);
  20 #else
  21         return isl_pw_qpolynomial_bound(pwqp, isl_fold_max, BV_BOUND_RANGE);
  22 #endif
  23 }
  24
  25 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound(
  26         __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, int method)
  27 {
  28         if (method == BV_BOUND_BERNSTEIN)
  29                 return isl_pw_qpolynomial_bound_bernstein(pwqp, type);
  30         else
  31                 return isl_pw_qpolynomial_bound_range(pwqp, type, NULL);
  32 }