update pet to version 0.11.2
[ppn.git] / eqv_options.h
blob1a8ac661f11fabccbdd1ab99ac20eca1ec8a4521
1 #include <isl/options.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct ops;
9 int ops_init(void *user);
10 void ops_clear(void *user);
12 struct options {
13 struct isl_options *isl;
14 struct ops *ops;
16 const char *program[2];
17 char *associative;
18 char *commutative;
19 char *context;
21 int print_stats;
22 int dump_graphs;
23 int narrowing;
24 int trace_error;
27 ISL_ARG_DECL(options, struct options, options_args)
29 #if defined(__cplusplus)
31 #endif