#ifndef ISL_CTX_H
#define ISL_CTX_H
#include <stdio.h>
#include <stdlib.h>
#include <isl/arg.h>
#ifndef __isl_give
#define __isl_give
#endif
#ifndef __isl_take
#define __isl_take
#endif
#ifndef __isl_keep
#define __isl_keep
#endif
#ifndef __isl_null
#define __isl_null
#endif
#ifndef __isl_export
#define __isl_export
#endif
#ifndef __isl_overload
#define __isl_overload
#endif
#ifndef __isl_constructor
#define __isl_constructor
#endif
#ifndef __isl_subclass
#define __isl_subclass(super) …
#endif
#if defined(__cplusplus)
extern "C" {
#endif
struct isl_stats { … };
enum isl_error { … };
isl_stat;
isl_stat isl_stat_non_null(void *obj);
isl_bool;
isl_bool isl_bool_not(isl_bool b);
isl_bool isl_bool_ok(int b);
isl_size;
#define isl_size_error …
struct isl_ctx;
isl_ctx;
#if __GNUC__ > 3 || (__GNUC__ == 3 && __GNUC_MINOR__ >= 1)
#define ISL_DEPRECATED …
#else
#define ISL_DEPRECATED
#endif
#define ISL_FL_INIT(l, f) …
#define ISL_FL_SET(l, f) …
#define ISL_FL_CLR(l, f) …
#define ISL_FL_ISSET(l, f) …
#define ISL_F_INIT(p, f) …
#define ISL_F_SET(p, f) …
#define ISL_F_CLR(p, f) …
#define ISL_F_ISSET(p, f) …
void *isl_malloc_or_die(isl_ctx *ctx, size_t size);
void *isl_calloc_or_die(isl_ctx *ctx, size_t nmemb, size_t size);
void *isl_realloc_or_die(isl_ctx *ctx, void *ptr, size_t size);
#define isl_alloc(ctx,type,size) …
#define isl_calloc(ctx,type,size) …
#define isl_realloc(ctx,ptr,type,size) …
#define isl_alloc_type(ctx,type) …
#define isl_calloc_type(ctx,type) …
#define isl_realloc_type(ctx,ptr,type) …
#define isl_alloc_array(ctx,type,n) …
#define isl_calloc_array(ctx,type,n) …
#define isl_realloc_array(ctx,ptr,type,n) …
#define isl_die(ctx,errno,msg,code) …
void isl_handle_error(isl_ctx *ctx, enum isl_error error, const char *msg,
const char *file, int line);
#define isl_assert4(ctx,test,code,errno) …
#define isl_assert(ctx,test,code) …
#define isl_min(a,b) …
struct isl_options *isl_ctx_options(isl_ctx *ctx);
isl_ctx *isl_ctx_alloc_with_options(struct isl_args *args,
__isl_take void *opt);
isl_ctx *isl_ctx_alloc(void);
void *isl_ctx_peek_options(isl_ctx *ctx, struct isl_args *args);
int isl_ctx_parse_options(isl_ctx *ctx, int argc, char **argv, unsigned flags);
void isl_ctx_ref(struct isl_ctx *ctx);
void isl_ctx_deref(struct isl_ctx *ctx);
void isl_ctx_free(isl_ctx *ctx);
void isl_ctx_abort(isl_ctx *ctx);
void isl_ctx_resume(isl_ctx *ctx);
int isl_ctx_aborted(isl_ctx *ctx);
void isl_ctx_set_max_operations(isl_ctx *ctx, unsigned long max_operations);
unsigned long isl_ctx_get_max_operations(isl_ctx *ctx);
void isl_ctx_reset_operations(isl_ctx *ctx);
#define ISL_ARG_CTX_DECL(prefix,st,args) …
#define ISL_ARG_CTX_DEF(prefix,st,args) …
#define ISL_CTX_GET_INT_DEF(prefix,st,args,field) …
#define ISL_CTX_SET_INT_DEF(prefix,st,args,field) …
#define ISL_CTX_GET_STR_DEF(prefix,st,args,field) …
#define ISL_CTX_SET_STR_DEF(prefix,st,args,field) …
#define ISL_CTX_GET_BOOL_DEF(prefix,st,args,field) …
#define ISL_CTX_SET_BOOL_DEF(prefix,st,args,field) …
#define ISL_CTX_GET_CHOICE_DEF(prefix,st,args,field) …
#define ISL_CTX_SET_CHOICE_DEF(prefix,st,args,field) …
enum isl_error isl_ctx_last_error(isl_ctx *ctx);
const char *isl_ctx_last_error_msg(isl_ctx *ctx);
const char *isl_ctx_last_error_file(isl_ctx *ctx);
int isl_ctx_last_error_line(isl_ctx *ctx);
void isl_ctx_reset_error(isl_ctx *ctx);
void isl_ctx_set_error(isl_ctx *ctx, enum isl_error error);
#if defined(__cplusplus)
}
#endif
#endif