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 m;
  15     int M;
  16
  17     /* "generated" options */
  18     int st;
  19     char **params;
  20     struct barvinok_options *barvinok;
  21 };
  22
  23 extern struct argp verify_argp;
  24 void verify_options_set_range(struct verify_options *options, Polyhedron *P);
  25
  26 #if defined(__cplusplus)
  27 }
  28 #endif
  29
  30 #endif