barvinok_maximize: new tool for maximizing piecewise quasi-polynomial
[barvinok.git] / verify.h
blob67479ea5fa87ae4055fd94fd3b615afff8ccc777
1 #ifndef VERIFY_H
2 #define VERIFY_H
4 #include <barvinok/polylib.h>
5 #include "argp.h"
7 #if defined(__cplusplus)
8 extern "C" {
9 #endif
11 struct verify_options {
12 int verify;
13 int print_all;
14 int continue_on_error;
15 int m;
16 int M;
18 /* "generated" options */
19 int st;
20 char **params;
21 struct barvinok_options *barvinok;
24 extern struct argp verify_argp;
25 void verify_options_set_range(struct verify_options *options, Polyhedron *P);
27 #if defined(__cplusplus)
29 #endif
31 #endif