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->LLL_a = 1;
  22     options->LLL_b = 1;
  23
  24     options->MaxRays = MAXRAYS;
  25
  26 #ifdef USE_INCREMENTAL_BF
  27     options->incremental_specialization = 2;
  28 #elif defined USE_INCREMENTAL_DF
  29     options->incremental_specialization = 1;
  30 #else
  31     options->incremental_specialization = 0;
  32 #endif
  33
  34     options->lexmin_emptiness_check = 1;
  35
  36     return options;
  37 }