isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git] / evalue_convert.h
blob41e0ea755508b95dc3ca1349a2584ee606b36eac
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_arg)
26 #if defined(__cplusplus)
28 #endif
30 #endif