4 #include <barvinok/polylib.h>
7 #if defined(__cplusplus)
11 struct verify_options
{
15 int continue_on_error
;
19 /* "generated" options */
22 struct barvinok_options
*barvinok
;
25 extern struct argp verify_argp
;
26 void verify_options_set_range(struct verify_options
*options
, int dim
);
28 Polyhedron
*check_poly_context_scan(Polyhedron
*C
,
29 const struct verify_options
*options
);
30 void check_poly_init(Polyhedron
*C
, struct verify_options
*options
);
32 struct check_poly_data
;
33 typedef int (*check_poly_fun
)(const struct check_poly_data
*data
,
35 const struct verify_options
*options
);
36 struct check_poly_data
{
41 int check_poly(Polyhedron
*CS
, const struct check_poly_data
*data
,
42 int nparam
, int pos
, Value
*z
,
43 const struct verify_options
*options
);
45 #if defined(__cplusplus)