options.c

   1 #include <unistd.h>
   2 #include <polylib/polylibgmp.h>
   3 #include <barvinok/options.h>
   4 #include <barvinok/util.h>
   5 #include "config.h"
   6
   7 #ifdef HAVE_GROWING_CHERNIKOVA
   8 #define MAXRAYS    (POL_NO_DUAL | POL_INTEGER)
   9 #else
  10 #define MAXRAYS  600
  11 #endif
  12
  13 #define ALLOC(type) (type*)malloc(sizeof(type))
  14
  15 struct barvinok_options *barvinok_options_new_with_defaults()
  16 {
  17     struct barvinok_options *options = ALLOC(struct barvinok_options);
  18     if (!options)
  19         return NULL;
  20
  21     options->MaxRays = MAXRAYS;
  22
  23 #ifdef USE_INCREMENTAL_BF
  24     options->incremental_specialization = 2;
  25 #elif defined USE_INCREMENTAL_DF
  26     options->incremental_specialization = 1;
  27 #else
  28     options->incremental_specialization = 0;
  29 #endif
  30
  31     options->emptiness_check = 1;
  32
  33     return options;
  34 }