update isl for help message printing
[barvinok/uuh.git] / lexmin.h
blob61855ae249c4f1d44ffa7b99d4a7356762910c24
1 #ifndef LEXMIN_H
2 #define LEXMIN_H
4 #include "verify.h"
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;
15 struct verify_options verify;
18 #endif