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, Polyhedron *P);
  26
  27 #if defined(__cplusplus)
  28 }
  29 #endif
  30
  31 #endif