include/isl_constraint.h

   1 #ifndef ISL_CONSTRAINT_H
   2 #define ISL_CONSTRAINT_H
   3
   4 #include "isl_div.h"
   5 #include "isl_set.h"
   6
   7 #if defined(__cplusplus)
   8 extern "C" {
   9 #endif
  10
  11 struct isl_constraint {
  12         int ref;
  13         struct isl_ctx *ctx;
  14
  15         struct isl_basic_map    *bmap;
  16         isl_int                 **line;
  17 };
  18 typedef struct isl_constraint isl_constraint;
  19
  20 __isl_give isl_constraint *isl_equality_alloc(__isl_take isl_dim *dim);
  21 __isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_dim *dim);
  22 struct isl_constraint *isl_basic_set_constraint(struct isl_basic_set *bset,
  23         isl_int **line);
  24
  25 struct isl_constraint *isl_constraint_cow(struct isl_constraint *c);
  26 struct isl_constraint *isl_constraint_copy(struct isl_constraint *c);
  27 void isl_constraint_free(struct isl_constraint *c);
  28
  29 struct isl_constraint *isl_basic_set_first_constraint(
  30         struct isl_basic_set *bset);
  31 struct isl_constraint *isl_constraint_next(struct isl_constraint *c);
  32 int isl_constraint_is_equal(struct isl_constraint *constraint1,
  33                             struct isl_constraint *constraint2);
  34
  35 __isl_give isl_basic_map *isl_basic_map_add_constraint(
  36         __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
  37 __isl_give isl_basic_set *isl_basic_set_add_constraint(
  38         __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
  39
  40 int isl_basic_set_has_defining_equality(
  41         struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  42         struct isl_constraint **constraint);
  43 int isl_basic_set_has_defining_inequalities(
  44         struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  45         struct isl_constraint **lower,
  46         struct isl_constraint **upper);
  47
  48 int isl_constraint_dim(struct isl_constraint *constraint,
  49         enum isl_dim_type type);
  50
  51 void isl_constraint_get_constant(struct isl_constraint *constraint, isl_int *v);
  52 void isl_constraint_get_coefficient(struct isl_constraint *constraint,
  53         enum isl_dim_type type, int pos, isl_int *v);
  54 void isl_constraint_set_constant(__isl_keep isl_constraint *constraint, isl_int v);
  55 void isl_constraint_set_coefficient(__isl_keep isl_constraint *constraint,
  56         enum isl_dim_type type, int pos, isl_int v);
  57
  58 struct isl_div *isl_constraint_div(struct isl_constraint *constraint, int pos);
  59 struct isl_constraint *isl_constraint_add_div(struct isl_constraint *constraint,
  60         struct isl_div *div, int *pos);
  61
  62 void isl_constraint_clear(struct isl_constraint *constraint);
  63 struct isl_constraint *isl_constraint_negate(struct isl_constraint *constraint);
  64
  65 int isl_constraint_is_equality(struct isl_constraint *constraint);
  66
  67 struct isl_basic_set *isl_basic_set_from_constraint(
  68         struct isl_constraint *constraint);
  69
  70 #if defined(__cplusplus)
  71 }
  72 #endif
  73
  74 #endif