lexmin.h

   1 #ifndef LEXMIN_H
   2 #define LEXMIN_H
   3
   4 #include "verify.h"
   5
   6 #if defined(__cplusplus)
   7 extern "C" {
   8 #endif
   9
  10 struct lexmin_options {
  11                 /* Check for integer points in domain
  12                  */
  13     #define     BV_LEXMIN_EMPTINESS_CHECK_NONE          0
  14     #define     BV_LEXMIN_EMPTINESS_CHECK_SAMPLE        1
  15     #define     BV_LEXMIN_EMPTINESS_CHECK_COUNT         2
  16     int         emptiness_check;
  17     int         reduce;
  18
  19     struct verify_options    *verify;
  20 };
  21
  22 ISL_ARG_DECL(lexmin_options, struct lexmin_options, lexmin_options_arg)
  23
  24 #if defined(__cplusplus)
  25 }
  26 #endif
  27
  28 #endif