lexmin.h

   1 #ifndef LEXMIN_H
   2 #define LEXMIN_H
   3
   4 #include "verify.h"
   5
   6 struct lexmin_options {
   7     struct barvinok_options *barvinok;
   8
   9                 /* Check for integer points in domain
  10                  */
  11     #define     BV_LEXMIN_EMPTINESS_CHECK_NONE          0
  12     #define     BV_LEXMIN_EMPTINESS_CHECK_SAMPLE        1
  13     #define     BV_LEXMIN_EMPTINESS_CHECK_COUNT         2
  14     int         emptiness_check;
  15     int         reduce;
  16     #define     BV_LEXMIN_POLYSIGN_POLYLIB      0
  17     #define     BV_LEXMIN_POLYSIGN_CDD          1
  18     #define     BV_LEXMIN_POLYSIGN_CDDF         2
  19     int         polysign;
  20
  21     struct verify_options    verify;
  22 };
  23
  24 #endif