4 /* "error" stores the last error that has occurred.
5 * It is reset to isl_error_none by isl_ctx_reset_error.
6 * "error_msg" stores the error message of the last error,
7 * while "error_file" and "error_line" specify where the last error occurred.
8 * "error_msg" and "error_file" always point to statically allocated
9 * strings (if not NULL).
14 struct isl_stats
*stats
;
17 struct isl_options
*opt
;
19 struct isl_args
*user_args
;
26 isl_int normalize_gcd
;
30 struct isl_blk cache
[ISL_BLK_CACHE_SIZE
];
31 struct isl_hash_table id_table
;
34 const char *error_msg
;
35 const char *error_file
;
40 unsigned long operations
;
41 unsigned long max_operations
;
44 int isl_ctx_next_operation(isl_ctx
*ctx
);