include/isl/constraint.h

   1 /*
   2  * Copyright 2008-2009 Katholieke Universiteit Leuven
   3  *
   4  * Use of this software is governed by the MIT 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/local_space.h>
  14 #include <isl/space_type.h>
  15 #include <isl/aff_type.h>
  16 #include <isl/set_type.h>
  17 #include <isl/list.h>
  18 #include <isl/val_type.h>
  19 #include <isl/printer.h>
  20
  21 #if defined(__cplusplus)
  22 extern "C" {
  23 #endif
  24
  25 struct isl_constraint;
  26 typedef struct isl_constraint isl_constraint;
  27
  28 ISL_DECLARE_LIST(constraint)
  29
  30 isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c);
  31
  32 __isl_give isl_constraint *isl_constraint_alloc_equality(
  33         __isl_take isl_local_space *ls);
  34 __isl_give isl_constraint *isl_constraint_alloc_inequality(
  35         __isl_take isl_local_space *ls);
  36 __isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *ls);
  37 __isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls);
  38
  39 __isl_give isl_constraint *isl_constraint_copy(__isl_keep isl_constraint *c);
  40 __isl_null isl_constraint *isl_constraint_free(__isl_take isl_constraint *c);
  41
  42 isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
  43 isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
  44 isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
  45         isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
  46 isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
  47         isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
  48 __isl_give isl_constraint_list *isl_basic_map_get_constraint_list(
  49         __isl_keep isl_basic_map *bmap);
  50 __isl_give isl_constraint_list *isl_basic_set_get_constraint_list(
  51         __isl_keep isl_basic_set *bset);
  52 int isl_constraint_is_equal(__isl_keep isl_constraint *constraint1,
  53                             __isl_keep isl_constraint *constraint2);
  54
  55 isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
  56         enum isl_dim_type type, unsigned pos,
  57         isl_stat (*fn)(__isl_take isl_constraint *lower,
  58                   __isl_take isl_constraint *upper,
  59                   __isl_take isl_basic_set *bset, void *user), void *user);
  60
  61 __isl_give isl_basic_map *isl_basic_map_add_constraint(
  62         __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
  63 __isl_give isl_basic_set *isl_basic_set_add_constraint(
  64         __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
  65 __isl_give isl_map *isl_map_add_constraint(__isl_take isl_map *map,
  66         __isl_take isl_constraint *constraint);
  67 __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
  68         __isl_take isl_constraint *constraint);
  69
  70 isl_bool isl_basic_map_has_defining_equality(
  71         __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
  72         __isl_give isl_constraint **c);
  73 isl_bool isl_basic_set_has_defining_equality(
  74         struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  75         struct isl_constraint **constraint);
  76 isl_bool isl_basic_set_has_defining_inequalities(
  77         struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  78         struct isl_constraint **lower,
  79         struct isl_constraint **upper);
  80
  81 __isl_give isl_space *isl_constraint_get_space(
  82         __isl_keep isl_constraint *constraint);
  83 __isl_give isl_local_space *isl_constraint_get_local_space(
  84         __isl_keep isl_constraint *constraint);
  85 isl_size isl_constraint_dim(__isl_keep isl_constraint *constraint,
  86         enum isl_dim_type type);
  87
  88 isl_bool isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
  89         enum isl_dim_type type, unsigned first, unsigned n);
  90
  91 const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint,
  92         enum isl_dim_type type, unsigned pos);
  93 __isl_give isl_val *isl_constraint_get_constant_val(
  94         __isl_keep isl_constraint *constraint);
  95 __isl_give isl_val *isl_constraint_get_coefficient_val(
  96         __isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
  97 __isl_give isl_constraint *isl_constraint_set_constant_si(
  98         __isl_take isl_constraint *constraint, int v);
  99 __isl_give isl_constraint *isl_constraint_set_constant_val(
 100         __isl_take isl_constraint *constraint, __isl_take isl_val *v);
 101 __isl_give isl_constraint *isl_constraint_set_coefficient_si(
 102         __isl_take isl_constraint *constraint,
 103         enum isl_dim_type type, int pos, int v);
 104 __isl_give isl_constraint *isl_constraint_set_coefficient_val(
 105         __isl_take isl_constraint *constraint,
 106         enum isl_dim_type type, int pos, __isl_take isl_val *v);
 107
 108 __isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *constraint,
 109         int pos);
 110
 111 __isl_give isl_constraint *isl_constraint_negate(
 112         __isl_take isl_constraint *constraint);
 113
 114 isl_bool isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
 115 isl_bool isl_constraint_is_div_constraint(
 116         __isl_keep isl_constraint *constraint);
 117
 118 isl_bool isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint,
 119         enum isl_dim_type type, unsigned pos);
 120 isl_bool isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint,
 121         enum isl_dim_type type, unsigned pos);
 122
 123 __isl_give isl_basic_map *isl_basic_map_from_constraint(
 124         __isl_take isl_constraint *constraint);
 125 __isl_give isl_basic_set *isl_basic_set_from_constraint(
 126         __isl_take isl_constraint *constraint);
 127
 128 __isl_give isl_aff *isl_constraint_get_bound(
 129         __isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
 130 __isl_give isl_aff *isl_constraint_get_aff(
 131         __isl_keep isl_constraint *constraint);
 132 __isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff);
 133 __isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff);
 134
 135 int isl_constraint_plain_cmp(__isl_keep isl_constraint *c1,
 136         __isl_keep isl_constraint *c2);
 137 int isl_constraint_cmp_last_non_zero(__isl_keep isl_constraint *c1,
 138         __isl_keep isl_constraint *c2);
 139
 140 __isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer *p,
 141         __isl_keep isl_constraint *c);
 142 void isl_constraint_dump(__isl_keep isl_constraint *c);
 143
 144 #if defined(__cplusplus)
 145 }
 146 #endif
 147
 148 #endif