verify.h

   1 #include <barvinok/polylib.h>
   2 #include "argp.h"
   3
   4 #if defined(__cplusplus)
   5 extern "C" {
   6 #endif
   7
   8 struct verify_options {
   9     int verify;
  10     int print_all;
  11     int m;
  12     int M;
  13 };
  14
  15 extern struct argp verify_argp;
  16 void verify_options_set_range(struct verify_options *options, Polyhedron *P);
  17
  18 #if defined(__cplusplus)
  19 }
  20 #endif