isl_local_space_private.h

   1 #ifndef ISL_LOCAL_SPACE_PRIVATE_H
   2 #define ISL_LOCAL_SPACE_PRIVATE_H
   3
   4 #include <isl/div.h>
   5 #include <isl/mat.h>
   6 #include <isl/set.h>
   7 #include <isl/local_space.h>
   8
   9 struct isl_local_space {
  10         int ref;
  11
  12         isl_dim *dim;
  13         isl_mat *div;
  14 };
  15
  16 __isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_dim *dim,
  17         unsigned n_div);
  18
  19 __isl_give isl_local_space *isl_local_space_add_div(
  20         __isl_take isl_local_space *ls, __isl_take isl_vec *div);
  21
  22 __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
  23         __isl_keep isl_mat *div2, int *exp1, int *exp2);
  24
  25 unsigned isl_local_space_offset(__isl_keep isl_local_space *ls,
  26         enum isl_dim_type type);
  27
  28 __isl_give isl_local_space *isl_local_space_replace_divs(
  29         __isl_take isl_local_space *ls, __isl_take isl_mat *div);
  30 int isl_local_space_divs_known(__isl_keep isl_local_space *ls);
  31
  32 __isl_give isl_local_space *isl_local_space_substitute_equalities(
  33         __isl_take isl_local_space *ls, __isl_take isl_basic_set *eq);
  34
  35 #endif