include/isl/constraint.h

   1 /*
   2  * Copyright 2008-2009 Katholieke Universiteit Leuven
   3  *
   4  * Use of this software is governed by the GNU LGPLv2.1 license
   5  *
   6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
   7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
   8  */
   9
  10 #ifndef ISL_CONSTRAINT_H
  11 #define ISL_CONSTRAINT_H
  12
  13 #include <isl/div.h>
  14 #include <isl/set.h>
  15 #include <isl/printer.h>
  16
  17 #if defined(__cplusplus)
  18 extern "C" {
  19 #endif
  20
  21 struct isl_constraint {
  22         int ref;
  23         struct isl_ctx *ctx;
  24
  25         struct isl_basic_map    *bmap;
  26         isl_int                 **line;
  27 };
  28 typedef struct isl_constraint isl_constraint;
  29
  30 isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c);
  31
  32 __isl_give isl_constraint *isl_equality_alloc(__isl_take isl_dim *dim);
  33 __isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_dim *dim);
  34 struct isl_constraint *isl_basic_set_constraint(struct isl_basic_set *bset,
  35         isl_int **line);
  36
  37 struct isl_constraint *isl_constraint_cow(struct isl_constraint *c);
  38 struct isl_constraint *isl_constraint_copy(struct isl_constraint *c);
  39 void isl_constraint_free(struct isl_constraint *c);
  40
  41 __isl_give isl_constraint *isl_basic_map_first_constraint(
  42         __isl_take isl_basic_map *bmap);
  43 __isl_give isl_constraint *isl_basic_set_first_constraint(
  44         __isl_take isl_basic_set *bset);
  45 struct isl_constraint *isl_constraint_next(struct isl_constraint *c);
  46 int isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
  47         int (*fn)(__isl_take isl_constraint *c, void *user), void *user);
  48 int isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
  49         int (*fn)(__isl_take isl_constraint *c, void *user), void *user);
  50 int isl_constraint_is_equal(struct isl_constraint *constraint1,
  51                             struct isl_constraint *constraint2);
  52
  53 int isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
  54         enum isl_dim_type type, unsigned pos,
  55         int (*fn)(__isl_take isl_constraint *lower,
  56                   __isl_take isl_constraint *upper,
  57                   __isl_take isl_basic_set *bset, void *user), void *user);
  58
  59 __isl_give isl_basic_map *isl_basic_map_add_constraint(
  60         __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
  61 __isl_give isl_basic_set *isl_basic_set_add_constraint(
  62         __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
  63
  64 int isl_basic_map_has_defining_equality(
  65         __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
  66         __isl_give isl_constraint **c);
  67 int isl_basic_set_has_defining_equality(
  68         struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  69         struct isl_constraint **constraint);
  70 int isl_basic_set_has_defining_inequalities(
  71         struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  72         struct isl_constraint **lower,
  73         struct isl_constraint **upper);
  74
  75 __isl_give isl_dim *isl_constraint_get_dim(
  76         __isl_keep isl_constraint *constraint);
  77 int isl_constraint_dim(struct isl_constraint *constraint,
  78         enum isl_dim_type type);
  79
  80 const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint,
  81         enum isl_dim_type type, unsigned pos);
  82 void isl_constraint_get_constant(__isl_keep isl_constraint *constraint,
  83         isl_int *v);
  84 void isl_constraint_get_coefficient(__isl_keep isl_constraint *constraint,
  85         enum isl_dim_type type, int pos, isl_int *v);
  86 void isl_constraint_set_constant(__isl_keep isl_constraint *constraint, isl_int v);
  87 void isl_constraint_set_constant_si(__isl_keep isl_constraint *constraint,
  88         int v);
  89 void isl_constraint_set_coefficient(__isl_keep isl_constraint *constraint,
  90         enum isl_dim_type type, int pos, isl_int v);
  91 void isl_constraint_set_coefficient_si(__isl_keep isl_constraint *constraint,
  92         enum isl_dim_type type, int pos, int v);
  93
  94 __isl_give isl_div *isl_constraint_div(__isl_keep isl_constraint *constraint,
  95         int pos);
  96 struct isl_constraint *isl_constraint_add_div(struct isl_constraint *constraint,
  97         struct isl_div *div, int *pos);
  98
  99 void isl_constraint_clear(struct isl_constraint *constraint);
 100 struct isl_constraint *isl_constraint_negate(struct isl_constraint *constraint);
 101
 102 int isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
 103 int isl_constraint_is_div_constraint(__isl_keep isl_constraint *constraint);
 104
 105 __isl_give isl_basic_map *isl_basic_map_from_constraint(
 106         __isl_take isl_constraint *constraint);
 107 struct isl_basic_set *isl_basic_set_from_constraint(
 108         struct isl_constraint *constraint);
 109
 110 __isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer *p,
 111         __isl_keep isl_constraint *c);
 112 void isl_constraint_dump(__isl_keep isl_constraint *c);
 113
 114 #if defined(__cplusplus)
 115 }
 116 #endif
 117
 118 #endif