polar_signed_cone_consumer: clean up memory on inappropriate random vector
[barvinok.git] / verify.h
blobb130df094c3ceebb8b1b9e0d199689dde12d4dc9
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 exact;
14 int print_all;
15 int continue_on_error;
16 int m;
17 int M;
19 /* "generated" options */
20 int st;
21 const char *const *params;
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 *P, Polyhedron **C,
29 unsigned nparam,
30 const struct verify_options *options);
31 void check_poly_init(Polyhedron *C, struct verify_options *options);
33 struct check_poly_data;
34 typedef int (*check_poly_fun)(const struct check_poly_data *data,
35 int nparam, Value *z,
36 const struct verify_options *options);
37 struct check_poly_data {
38 Value *z;
39 check_poly_fun check;
42 int check_poly(Polyhedron *CS, const struct check_poly_data *data,
43 int nparam, int pos, Value *z,
44 const struct verify_options *options);
46 #if defined(__cplusplus)
48 #endif
50 #endif