options.c

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