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
  18 extern struct argp verify_argp;
  19 void verify_options_set_range(struct verify_options *options, Polyhedron *P);
  20
  21 #if defined(__cplusplus)
  22 }
  23 #endif
  24
  25 #endif