list.h

Go to the documentation of this file.

/*
 * Copyright 2008-2009 Katholieke Universiteit Leuven
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege, K.U.Leuven, Departement
 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
 */
 
#ifndef ISL_LIST_H
#define ISL_LIST_H
 
#include <isl/ctx.h>
#include <isl/printer_type.h>
 
#if defined(__cplusplus)
extern "C" {
#endif
 
#define ISL_DECLARE_LIST_TYPE2(EL,EXPORT)       \
struct isl_##EL;              \
struct EXPORT isl_##EL##_list;            \
typedef struct isl_##EL##_list isl_##EL##_list;
#define ISL_DECLARE_LIST_TYPE(EL)         \
  ISL_DECLARE_LIST_TYPE2(EL,)
#define ISL_DECLARE_EXPORTED_LIST_TYPE(EL)        \
  ISL_DECLARE_LIST_TYPE2(EL,__isl_export)
#define ISL_DECLARE_LIST_FN3(EL,CONSTRUCTOR,EXPORT)     \
isl_ctx *isl_##EL##_list_get_ctx(__isl_keep isl_##EL##_list *list); \
EXPORT                  \
__isl_give isl_##EL##_list *isl_##EL##_to_list(__isl_take isl_##EL *el);\
CONSTRUCTOR               \
__isl_give isl_##EL##_list *isl_##EL##_list_from_##EL(      \
  __isl_take isl_##EL *el);         \
CONSTRUCTOR               \
__isl_give isl_##EL##_list *isl_##EL##_list_alloc(isl_ctx *ctx, int n); \
__isl_give isl_##EL##_list *isl_##EL##_list_copy(     \
  __isl_keep isl_##EL##_list *list);        \
__isl_null isl_##EL##_list *isl_##EL##_list_free(     \
  __isl_take isl_##EL##_list *list);        \
EXPORT                  \
__isl_give isl_##EL##_list *isl_##EL##_list_add(      \
  __isl_take isl_##EL##_list *list,       \
  __isl_take isl_##EL *el);         \
EXPORT                  \
__isl_give isl_##EL##_list *isl_##EL##_list_insert(     \
  __isl_take isl_##EL##_list *list, unsigned pos,     \
  __isl_take isl_##EL *el);         \
EXPORT                  \
__isl_give isl_##EL##_list *isl_##EL##_list_drop(     \
  __isl_take isl_##EL##_list *list, unsigned first, unsigned n);  \
EXPORT                  \
__isl_give isl_##EL##_list *isl_##EL##_list_clear(      \
  __isl_take isl_##EL##_list *list);        \
__isl_give isl_##EL##_list *isl_##EL##_list_swap(     \
  __isl_take isl_##EL##_list *list, unsigned pos1,    \
  unsigned pos2);             \
__isl_give isl_##EL##_list *isl_##EL##_list_reverse(      \
  __isl_take isl_##EL##_list *list);        \
EXPORT                  \
__isl_give isl_##EL##_list *isl_##EL##_list_concat(     \
  __isl_take isl_##EL##_list *list1,        \
  __isl_take isl_##EL##_list *list2);       \
EXPORT                  \
isl_size isl_##EL##_list_size(__isl_keep isl_##EL##_list *list);  \
isl_size isl_##EL##_list_n_##EL(__isl_keep isl_##EL##_list *list);  \
EXPORT                  \
__isl_give isl_##EL *isl_##EL##_list_get_at(        \
  __isl_keep isl_##EL##_list *list, int index);     \
__isl_give struct isl_##EL *isl_##EL##_list_get_##EL(     \
  __isl_keep isl_##EL##_list *list, int index);     \
EXPORT                  \
__isl_give isl_##EL##_list *isl_##EL##_list_set_at(     \
  __isl_take isl_##EL##_list *list, int index,      \
  __isl_take isl_##EL *el);         \
__isl_give struct isl_##EL##_list *isl_##EL##_list_set_##EL(    \
  __isl_take struct isl_##EL##_list *list, int index,   \
  __isl_take struct isl_##EL *el);        \
EXPORT                  \
isl_stat isl_##EL##_list_foreach(__isl_keep isl_##EL##_list *list,  \
  isl_stat (*fn)(__isl_take isl_##EL *el, void *user),    \
  void *user);              \
isl_bool isl_##EL##_list_every(__isl_keep isl_##EL##_list *list,  \
  isl_bool (*test)(__isl_keep isl_##EL *el, void *user),    \
  void *user);              \
__isl_give isl_##EL##_list *isl_##EL##_list_map(      \
  __isl_take isl_##EL##_list *list,       \
  __isl_give isl_##EL * (*fn)(__isl_take isl_##EL *el,    \
    void *user),            \
  void *user);              \
__isl_give isl_##EL##_list *isl_##EL##_list_sort(     \
  __isl_take isl_##EL##_list *list,       \
  int (*cmp)(__isl_keep struct isl_##EL *a,     \
    __isl_keep struct isl_##EL *b,        \
    void *user), void *user);       \
EXPORT                  \
isl_stat isl_##EL##_list_foreach_scc(__isl_keep isl_##EL##_list *list,  \
  isl_bool (*follows)(__isl_keep isl_##EL *a,     \
      __isl_keep isl_##EL *b, void *user),    \
  void *follows_user,           \
  isl_stat (*fn)(__isl_take isl_##EL##_list *scc, void *user),  \
  void *fn_user);             \
__isl_give char *isl_##EL##_list_to_str(        \
  __isl_keep isl_##EL##_list *list);        \
__isl_give isl_printer *isl_printer_print_##EL##_list(      \
  __isl_take isl_printer *p, __isl_keep isl_##EL##_list *list); \
void isl_##EL##_list_dump(__isl_keep isl_##EL##_list *list);
#define ISL_DECLARE_LIST_FN(EL)           \
  ISL_DECLARE_LIST_FN3(EL,,)
#define ISL_DECLARE_EXPORTED_LIST_FN(EL)        \
  ISL_DECLARE_LIST_FN3(EL,__isl_constructor,__isl_export)
#define ISL_DECLARE_LIST_FN_READ2(EL,CONSTRUCTOR)     \
CONSTRUCTOR               \
__isl_give isl_##EL##_list *isl_##EL##_list_read_from_str(    \
  isl_ctx *ctx, const char *str);
#define ISL_DECLARE_LIST_FN_READ(EL)          \
  ISL_DECLARE_LIST_FN_READ2(EL,)
#define ISL_DECLARE_EXPORTED_LIST_FN_READ(EL)       \
  ISL_DECLARE_LIST_FN_READ2(EL,__isl_constructor)
 
#define ISL_DECLARE_LIST(EL)            \
  ISL_DECLARE_LIST_TYPE(EL)         \
  ISL_DECLARE_LIST_FN(EL)
#define ISL_DECLARE_EXPORTED_LIST(EL)         \
  ISL_DECLARE_EXPORTED_LIST_TYPE(EL)        \
  ISL_DECLARE_EXPORTED_LIST_FN(EL)
 
#if defined(__cplusplus)
}
#endif
 
#endif