verify.h

   1 #ifndef VERIFY_H
   2 #define VERIFY_H
   3
   4 #include <isl_arg.h>
   5 #include <isl_set.h>
   6 #include <barvinok/polylib.h>
   7
   8 #if defined(__cplusplus)
   9 extern "C" {
  10 #endif
  11
  12 struct verify_options {
  13     int verify;
  14     int exact;
  15     int print_all;
  16     int continue_on_error;
  17     long m;
  18     long M;
  19     long r;
  20
  21     /* "generated" options */
  22     int st;
  23     const char **params;
  24     struct barvinok_options *barvinok;
  25 };
  26
  27 ISL_ARG_DECL(verify_options, struct verify_options, verify_options_arg)
  28
  29 void verify_options_set_range(struct verify_options *options, int dim);
  30
  31 Polyhedron *check_poly_context_scan(Polyhedron *P, Polyhedron **C,
  32                                     unsigned nparam,
  33                                     const struct verify_options *options);
  34 void check_poly_init(Polyhedron *C, struct verify_options *options);
  35 void check_poly_print(int ok, int nparam, Value *z,
  36                       Value want_n, Value want_d,
  37                       Value got_n, Value got_d,
  38                       const char *op, const char *check,
  39                       const char *long_op,
  40                       const struct verify_options *options);
  41
  42 struct check_poly_data;
  43 typedef int (*check_poly_fun)(const struct check_poly_data *data,
  44                               int nparam, Value *z,
  45                               const struct verify_options *options);
  46 struct check_poly_data {
  47     Value           *z;
  48     check_poly_fun   check;
  49 };
  50
  51 int check_poly(Polyhedron *CS, const struct check_poly_data *data,
  52                int nparam, int pos, Value *z,
  53                const struct verify_options *options);
  54
  55 struct check_EP_data {
  56     struct check_poly_data        cp;
  57     int                           n_S;
  58     Polyhedron                  **S;
  59
  60     const evalue                 *EP;
  61 };
  62
  63 int check_EP(struct check_EP_data *data, unsigned nvar, unsigned nparam,
  64              struct verify_options *options);
  65 void check_EP_set_scan(struct check_EP_data *data, Polyhedron *C,
  66                         unsigned MaxRays);
  67 void check_EP_clear_scan(struct check_EP_data *data);
  68
  69 __isl_give isl_set *verify_context_set_bounds(__isl_take isl_set *set,
  70         const struct verify_options *options);
  71
  72 struct verify_point_data {
  73         const struct verify_options *options;
  74         int n;
  75         int s;
  76         int error;
  77 };
  78
  79 int verify_point_data_init(struct verify_point_data *vpd,
  80         __isl_keep isl_set *context);
  81 void verify_point_data_fini(struct verify_point_data *vpd);
  82
  83 #if defined(__cplusplus)
  84 }
  85 #endif
  86
  87 #endif