update isl for normalization of isl_term_get_div result
[barvinok.git] / lexmin.h
blobb9dd2932c0169aa635c43466319cb29d342c527b
1 #ifndef LEXMIN_H
2 #define LEXMIN_H
4 #include "verify.h"
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
10 struct lexmin_options {
11 /* Check for integer points in domain
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;
19 struct verify_options *verify;
22 ISL_ARG_DECL(lexmin_options, struct lexmin_options, lexmin_options_args)
24 #if defined(__cplusplus)
26 #endif
28 #endif