barvinok/options.h

   1 #ifndef BARVINOK_OPTIONS_H
   2 #define BARVINOK_OPTIONS_H
   3
   4 #if defined(__cplusplus)
   5 extern "C" {
   6 #endif
   7
   8 struct barvinok_options {
   9     /* PolyLib options */
  10     unsigned    MaxRays;
  11
  12     /* NTL options */
  13                 /* LLL reduction parameter delta=LLL_a/LLL_b */
  14     long        LLL_a;
  15     long        LLL_b;
  16
  17     /* barvinok options */
  18                 /*
  19                  * 0: no
  20                  * 1: depth first
  21                  * 2: breadth frist
  22                  */
  23     int         incremental_specialization;
  24
  25     /* lexmin options */
  26                 /* Check for integer points in domain
  27                  * 0: no
  28                  * 1: yes
  29                  */
  30     int         lexmin_emptiness_check;
  31 };
  32
  33 struct barvinok_options *barvinok_options_new_with_defaults();
  34
  35 #if defined(__cplusplus)
  36 }
  37 #endif
  38
  39 #endif