#include <isl/ctx.h>

#include <isl_blk.h>

struct isl_ctx {

	int			ref;

	struct isl_stats	*stats;

	int			 opt_allocated;

	struct isl_options	*opt;

	void			*user_opt;

	struct isl_args		*user_args;

	isl_int			zero;

	isl_int			one;

	isl_int			two;

	isl_int			negone;

	isl_int			normalize_gcd;

	int			n_cached;

	int			n_miss;

	struct isl_blk		cache[ISL_BLK_CACHE_SIZE];

	struct isl_hash_table	id_table;

	enum isl_error		error;

	int			abort;

	unsigned long		operations;

	unsigned long		max_operations;

};

int isl_ctx_next_operation(isl_ctx *ctx);