1 #ifndef BARVINOK_OPTIONS_H
2 #define BARVINOK_OPTIONS_H
6 #if defined(__cplusplus)
10 struct barvinok_stats
{
14 void barvinok_stats_clear(struct barvinok_stats
*stats
);
15 void barvinok_stats_print(struct barvinok_stats
*stats
, FILE *out
);
17 struct barvinok_options
{
22 /* LLL reduction parameter delta=LLL_a/LLL_b */
26 /* barvinok options */
32 #define BV_SPECIALIZATION_BF 2
33 #define BV_SPECIALIZATION_DF 1
34 #define BV_SPECIALIZATION_RANDOM 0
35 int incremental_specialization
;
37 unsigned long max_index
;
40 int count_sample_infinite
;
42 int try_Delaunay_triangulation
;
44 #define BV_APPROX_SIGN_NONE 0
45 #define BV_APPROX_SIGN_APPROX 1
46 #define BV_APPROX_SIGN_LOWER 2
47 #define BV_APPROX_SIGN_UPPER 3
48 int polynomial_approximation
;
49 #define BV_APPROX_NONE 0
50 #define BV_APPROX_DROP 1
51 #define BV_APPROX_SCALE 2
52 #define BV_APPROX_VOLUME 3
53 int approximation_method
;
54 #define BV_APPROX_SCALE_FAST (1 << 0)
55 #define BV_APPROX_SCALE_NARROW (1 << 1)
56 #define BV_APPROX_SCALE_NARROW2 (1 << 2)
59 /* basis reduction options */
65 /* bernstein options */
66 #define BV_BERNSTEIN_NONE 0
67 #define BV_BERNSTEIN_MAX 1
68 #define BV_BERNSTEIN_MIN -1
69 int bernstein_optimize
;
71 #define BV_BERNSTEIN_FACTORS 1
72 #define BV_BERNSTEIN_INTERVALS 2
73 int bernstein_recurse
;
75 struct barvinok_stats
*stats
;
78 struct barvinok_options
*barvinok_options_new_with_defaults();
79 void barvinok_options_free(struct barvinok_options
*options
);
81 #define BV_OPT_SPECIALIZATION 256
82 #define BV_OPT_PRIMAL 257
83 #define BV_OPT_TABLE 258
84 #define BV_OPT_GBR 259
85 #define BV_OPT_MAXINDEX 260
86 #define BV_OPT_POLAPPROX 261
87 #define BV_OPT_APPROX 262
88 #define BV_OPT_SCALE 263
89 #define BV_OPT_LAST 263
91 #define BV_GRP_APPROX 1
95 extern struct argp barvinok_argp
;
97 #if defined(__cplusplus)