lexmin.h

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