remove_all_equalities: also remove parameter equalities after main compression
[barvinok.git] / evalue_convert.h
blob999f4728206b8234db46f65b1dad63d10984bcad
1 #ifndef EVALUE_CONVERT
2 #define EVALUE_CONVERT
4 #include <isl/arg.h>
5 #include <barvinok/evalue.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 ISL_ARG_DECL(convert_options, struct convert_options, convert_options_args)
26 #if defined(__cplusplus)
28 #endif
30 #endif