int opt_allocated;
struct isl_options *opt;
void *user_opt;
- struct isl_arg *user_arg;
+ struct isl_args *user_args;
isl_int zero;
isl_int one;
isl_int normalize_gcd;
int n_cached;
+ int n_miss;
struct isl_blk cache[ISL_BLK_CACHE_SIZE];
- struct isl_hash_table name_hash;
+ struct isl_hash_table id_table;
enum isl_error error;
+
+ int abort;
};