4 #include <barvinok/polylib.h>
7 #if defined(__cplusplus)
11 struct verify_options
{
14 int continue_on_error
;
18 /* "generated" options */
21 struct barvinok_options
*barvinok
;
24 extern struct argp verify_argp
;
25 void verify_options_set_range(struct verify_options
*options
, int dim
);
27 Polyhedron
*check_poly_context_scan(Polyhedron
*C
,
28 const struct verify_options
*options
);
29 void check_poly_init(Polyhedron
*C
, struct verify_options
*options
);
31 struct check_poly_data
;
32 typedef int (*check_poly_fun
)(const struct check_poly_data
*data
,
34 const struct verify_options
*options
);
35 struct check_poly_data
{
40 int check_poly(Polyhedron
*CS
, const struct check_poly_data
*data
,
41 int nparam
, int pos
, Value
*z
,
42 const struct verify_options
*options
);
44 #if defined(__cplusplus)