verify.h

   1 #ifndef VERIFY_H
   2 #define VERIFY_H
   3
   4 #include <barvinok/polylib.h>
   5 #include "argp.h"
   6
   7 #if defined(__cplusplus)
   8 extern "C" {
   9 #endif
  10
  11 struct verify_options {
  12     int verify;
  13     int print_all;
  14     int continue_on_error;
  15     int m;
  16     int M;
  17
  18     /* "generated" options */
  19     int st;
  20     char **params;
  21     struct barvinok_options *barvinok;
  22 };
  23
  24 extern struct argp verify_argp;
  25 void verify_options_set_range(struct verify_options *options, int dim);
  26
  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);
  30
  31 struct check_poly_data;
  32 typedef int (*check_poly_fun)(const struct check_poly_data *data,
  33                               int nparam, Value *z,
  34                               const struct verify_options *options);
  35 struct check_poly_data {
  36     Value           *z;
  37     check_poly_fun   check;
  38 };
  39
  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);
  43
  44 #if defined(__cplusplus)
  45 }
  46 #endif
  47
  48 #endif