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
  15     struct verify_options    verify;
  16 };
  17
  18 #endif