__isl_give isl_basic_map *isl_basic_map_read_from_str(
isl_ctx *ctx, const char *str, int nparam);
__isl_give isl_map *isl_map_read_from_file(
- struct isl_ctx *ctx, FILE *input, int nparam);
+ isl_ctx *ctx, FILE *input, int nparam);
__isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx,
const char *str, int nparam);
__isl_give isl_union_set *isl_union_set_read_from_file(
isl_ctx *ctx, FILE *input);
__isl_give isl_union_set *isl_union_set_read_from_str(
- struct isl_ctx *ctx, const char *str);
+ isl_ctx *ctx, const char *str);
#include <isl/union_map.h>
__isl_give isl_union_map *isl_union_map_read_from_file(
isl_ctx *ctx, FILE *input);
__isl_give isl_union_map *isl_union_map_read_from_str(
- struct isl_ctx *ctx, const char *str);
+ isl_ctx *ctx, const char *str);
The input format is autodetected and may be either the C<PolyLib> format
or the C<isl> format.
between 10 and 42, you would use the following code.
isl_int v;
- struct isl_dim *dim;
- struct isl_constraint *c;
- struct isl_basic_set *bset;
+ isl_dim *dim;
+ isl_constraint *c;
+ isl_basic_set *bset;
isl_int_init(v);
dim = isl_dim_set_alloc(ctx, 0, 2);
Or, alternatively,
- struct isl_basic_set *bset;
+ isl_basic_set *bset;
bset = isl_basic_set_read_from_str(ctx,
"{[i] : exists (a : i = 2a and i >= 10 and i <= 42)}", -1);
#include <isl/list.h>
__isl_give isl_set_list *isl_set_list_from_set(
- __isl_take struct isl_set *el);
+ __isl_take isl_set *el);
__isl_give isl_set_list *isl_set_list_alloc(
isl_ctx *ctx, int n);
__isl_give isl_set_list *isl_set_list_copy(
#include <isl/list.h>
isl_ctx *isl_set_list_get_ctx(__isl_keep isl_set_list *list);
int isl_set_list_n_set(__isl_keep isl_set_list *list);
- __isl_give struct isl_set *isl_set_list_get_set(
+ __isl_give isl_set *isl_set_list_get_set(
__isl_keep isl_set_list *list, int index);
int isl_set_list_foreach(__isl_keep isl_set_list *list,
- int (*fn)(__isl_take struct isl_set *el, void *user),
+ int (*fn)(__isl_take isl_set *el, void *user),
void *user);
Lists can be printed using
Matrices can be created, copied and freed using the following functions.
#include <isl/mat.h>
- __isl_give isl_mat *isl_mat_alloc(struct isl_ctx *ctx,
+ __isl_give isl_mat *isl_mat_alloc(isl_ctx *ctx,
unsigned n_row, unsigned n_col);
__isl_give isl_mat *isl_mat_copy(__isl_keep isl_mat *mat);
void isl_mat_free(__isl_take isl_mat *mat);
FILE *input, int nparam);
__isl_give isl_basic_map *isl_basic_map_read_from_str(isl_ctx *ctx,
const char *str, int nparam);
-__isl_give isl_map *isl_map_read_from_file(struct isl_ctx *ctx,
+__isl_give isl_map *isl_map_read_from_file(isl_ctx *ctx,
FILE *input, int nparam);
__isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx,
const char *str, int nparam);