doc: add some implementation details on parametric integer programming
[isl.git] / isl_ctx_private.h
blob45ff8375032f8d3d8f50a6f73f4837d64b631d97
1 #include <isl/ctx.h>
3 struct isl_ctx {
4 int ref;
6 struct isl_stats *stats;
8 int opt_allocated;
9 struct isl_options *opt;
10 void *user_opt;
11 struct isl_arg *user_arg;
13 isl_int zero;
14 isl_int one;
15 isl_int two;
16 isl_int negone;
18 isl_int normalize_gcd;
20 int n_cached;
21 struct isl_blk cache[ISL_BLK_CACHE_SIZE];
22 struct isl_hash_table name_hash;
24 enum isl_error error;
26 int abort;