verify.c: extract some helper functions for isl based verification
[barvinok/uuh.git] / evalue_convert.h
blobfdf4b9cfa489752069ded56905db2138d09d8b02
1 #ifndef EVALUE_CONVERT
2 #define EVALUE_CONVERT
4 #include <barvinok/evalue.h>
5 #include "argp.h"
7 #if defined(__cplusplus)
8 extern "C" {
9 #endif
11 struct convert_options {
12 int range;
13 int convert;
14 int combine;
15 int floor;
16 int list;
17 int latex;
18 int isl;
21 int evalue_convert(evalue *EP, struct convert_options *options,
22 int verbose, unsigned nparam, const char **params);
24 extern struct argp convert_argp;
26 #if defined(__cplusplus)
28 #endif
30 #endif