2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
10 #ifndef ISL_MAP_PRIVATE_H
11 #define ISL_MAP_PRIVATE_H
15 #include <isl_reordering.h>
18 __isl_give isl_map
*isl_map_realign(__isl_take isl_map
*map
,
19 __isl_take isl_reordering
*r
);
20 __isl_give isl_set
*isl_set_realign(__isl_take isl_set
*set
,
21 __isl_take isl_reordering
*r
);
23 __isl_give isl_map
*isl_map_reset(__isl_take isl_map
*map
,
24 enum isl_dim_type type
);
26 __isl_give isl_map
*isl_map_reset_dim(__isl_take isl_map
*map
,
27 __isl_take isl_dim
*dim
);
28 __isl_give isl_set
*isl_set_reset_dim(__isl_take isl_set
*set
,
29 __isl_take isl_dim
*dim
);
31 unsigned isl_basic_map_offset(struct isl_basic_map
*bmap
,
32 enum isl_dim_type type
);
34 int isl_map_compatible_domain(struct isl_map
*map
, struct isl_set
*set
);
35 int isl_basic_map_compatible_domain(struct isl_basic_map
*bmap
,
36 struct isl_basic_set
*bset
);
37 int isl_basic_map_compatible_range(struct isl_basic_map
*bmap
,
38 struct isl_basic_set
*bset
);
40 struct isl_basic_map
*isl_basic_map_extend_dim(struct isl_basic_map
*base
,
41 struct isl_dim
*dim
, unsigned extra
,
42 unsigned n_eq
, unsigned n_ineq
);
43 struct isl_basic_set
*isl_basic_set_extend_dim(struct isl_basic_set
*base
,
44 struct isl_dim
*dim
, unsigned extra
,
45 unsigned n_eq
, unsigned n_ineq
);
46 struct isl_basic_set
*isl_basic_set_add_constraints(struct isl_basic_set
*bset1
,
47 struct isl_basic_set
*bset2
, unsigned pos
);
49 struct isl_map
*isl_map_grow(struct isl_map
*map
, int n
);
50 struct isl_set
*isl_set_grow(struct isl_set
*set
, int n
);
52 int isl_basic_set_contains(struct isl_basic_set
*bset
, struct isl_vec
*vec
);
53 int isl_basic_map_contains(struct isl_basic_map
*bmap
, struct isl_vec
*vec
);
55 struct isl_basic_set
*isl_basic_set_alloc_dim(struct isl_dim
*dim
,
56 unsigned extra
, unsigned n_eq
, unsigned n_ineq
);
57 struct isl_set
*isl_set_alloc_dim(struct isl_dim
*dim
, int n
, unsigned flags
);
58 struct isl_basic_map
*isl_basic_map_alloc_dim(struct isl_dim
*dim
,
59 unsigned extra
, unsigned n_eq
, unsigned n_ineq
);
60 struct isl_map
*isl_map_alloc_dim(struct isl_dim
*dim
, int n
, unsigned flags
);
62 unsigned isl_basic_map_total_dim(const struct isl_basic_map
*bmap
);
64 int isl_basic_map_alloc_equality(struct isl_basic_map
*bmap
);
65 int isl_basic_set_alloc_equality(struct isl_basic_set
*bset
);
66 int isl_basic_set_free_inequality(struct isl_basic_set
*bset
, unsigned n
);
67 int isl_basic_map_free_equality(struct isl_basic_map
*bmap
, unsigned n
);
68 int isl_basic_set_free_equality(struct isl_basic_set
*bset
, unsigned n
);
69 int isl_basic_set_alloc_inequality(struct isl_basic_set
*bset
);
70 int isl_basic_map_alloc_inequality(struct isl_basic_map
*bmap
);
71 int isl_basic_map_free_inequality(struct isl_basic_map
*bmap
, unsigned n
);
72 int isl_basic_map_alloc_div(struct isl_basic_map
*bmap
);
73 int isl_basic_set_alloc_div(struct isl_basic_set
*bset
);
74 int isl_basic_map_free_div(struct isl_basic_map
*bmap
, unsigned n
);
75 int isl_basic_set_free_div(struct isl_basic_set
*bset
, unsigned n
);
76 void isl_basic_map_inequality_to_equality(
77 struct isl_basic_map
*bmap
, unsigned pos
);
78 int isl_basic_map_drop_equality(struct isl_basic_map
*bmap
, unsigned pos
);
79 int isl_basic_set_drop_equality(struct isl_basic_set
*bset
, unsigned pos
);
80 int isl_basic_set_drop_inequality(struct isl_basic_set
*bset
, unsigned pos
);
81 int isl_basic_map_drop_inequality(struct isl_basic_map
*bmap
, unsigned pos
);
82 __isl_give isl_basic_set
*isl_basic_set_add_eq(__isl_take isl_basic_set
*bset
,
84 __isl_give isl_basic_map
*isl_basic_map_add_eq(__isl_take isl_basic_map
*bmap
,
86 __isl_give isl_basic_set
*isl_basic_set_add_ineq(__isl_take isl_basic_set
*bset
,
88 __isl_give isl_basic_map
*isl_basic_map_add_ineq(__isl_take isl_basic_map
*bmap
,
91 int isl_inequality_negate(struct isl_basic_map
*bmap
, unsigned pos
);
93 struct isl_basic_set
*isl_basic_set_cow(struct isl_basic_set
*bset
);
94 struct isl_basic_map
*isl_basic_map_cow(struct isl_basic_map
*bmap
);
95 struct isl_set
*isl_set_cow(struct isl_set
*set
);
96 struct isl_map
*isl_map_cow(struct isl_map
*map
);
98 struct isl_basic_map
*isl_basic_map_set_to_empty(struct isl_basic_map
*bmap
);
99 struct isl_basic_set
*isl_basic_set_set_to_empty(struct isl_basic_set
*bset
);
100 struct isl_basic_set
*isl_basic_set_order_divs(struct isl_basic_set
*bset
);
101 void isl_basic_map_swap_div(struct isl_basic_map
*bmap
, int a
, int b
);
102 struct isl_basic_map
*isl_basic_map_order_divs(struct isl_basic_map
*bmap
);
103 __isl_give isl_map
*isl_map_order_divs(__isl_take isl_map
*map
);
104 struct isl_basic_map
*isl_basic_map_align_divs(
105 struct isl_basic_map
*dst
, struct isl_basic_map
*src
);
106 struct isl_basic_set
*isl_basic_set_align_divs(
107 struct isl_basic_set
*dst
, struct isl_basic_set
*src
);
108 struct isl_basic_map
*isl_basic_map_gauss(
109 struct isl_basic_map
*bmap
, int *progress
);
110 struct isl_basic_set
*isl_basic_set_gauss(
111 struct isl_basic_set
*bset
, int *progress
);
112 __isl_give isl_basic_set
*isl_basic_set_sort_constraints(
113 __isl_take isl_basic_set
*bset
);
114 int isl_basic_map_fast_cmp(const __isl_keep isl_basic_map
*bmap1
,
115 const __isl_keep isl_basic_map
*bmap2
);
116 int isl_basic_set_fast_is_equal(__isl_keep isl_basic_set
*bset1
,
117 __isl_keep isl_basic_set
*bset2
);
118 int isl_basic_map_fast_is_equal(__isl_keep isl_basic_map
*bmap1
,
119 __isl_keep isl_basic_map
*bmap2
);
120 struct isl_basic_map
*isl_basic_map_normalize_constraints(
121 struct isl_basic_map
*bmap
);
122 struct isl_basic_set
*isl_basic_set_normalize_constraints(
123 struct isl_basic_set
*bset
);
124 struct isl_basic_map
*isl_basic_map_implicit_equalities(
125 struct isl_basic_map
*bmap
);
126 struct isl_basic_set
*isl_basic_map_underlying_set(struct isl_basic_map
*bmap
);
127 __isl_give isl_basic_set
*isl_basic_set_underlying_set(
128 __isl_take isl_basic_set
*bset
);
129 struct isl_set
*isl_map_underlying_set(struct isl_map
*map
);
130 struct isl_basic_map
*isl_basic_map_overlying_set(struct isl_basic_set
*bset
,
131 struct isl_basic_map
*like
);
132 __isl_give isl_basic_set
*isl_basic_set_drop(__isl_take isl_basic_set
*bset
,
133 enum isl_dim_type type
, unsigned first
, unsigned n
);
134 struct isl_basic_map
*isl_basic_map_drop(struct isl_basic_map
*bmap
,
135 enum isl_dim_type type
, unsigned first
, unsigned n
);
136 struct isl_set
*isl_set_drop(struct isl_set
*set
,
137 enum isl_dim_type type
, unsigned first
, unsigned n
);
138 struct isl_basic_set
*isl_basic_set_drop_dims(
139 struct isl_basic_set
*bset
, unsigned first
, unsigned n
);
140 struct isl_set
*isl_set_drop_dims(
141 struct isl_set
*set
, unsigned first
, unsigned n
);
142 struct isl_map
*isl_map_drop_inputs(
143 struct isl_map
*map
, unsigned first
, unsigned n
);
144 struct isl_map
*isl_map_drop(struct isl_map
*map
,
145 enum isl_dim_type type
, unsigned first
, unsigned n
);
147 struct isl_map
*isl_map_remove_empty_parts(struct isl_map
*map
);
148 struct isl_set
*isl_set_remove_empty_parts(struct isl_set
*set
);
150 struct isl_set
*isl_set_normalize(struct isl_set
*set
);
152 struct isl_set
*isl_set_drop_vars(
153 struct isl_set
*set
, unsigned first
, unsigned n
);
155 struct isl_basic_map
*isl_basic_map_eliminate_vars(
156 struct isl_basic_map
*bmap
, unsigned pos
, unsigned n
);
157 struct isl_basic_set
*isl_basic_set_eliminate_vars(
158 struct isl_basic_set
*bset
, unsigned pos
, unsigned n
);
160 __isl_give isl_map
*isl_map_eliminate(__isl_take isl_map
*map
,
161 enum isl_dim_type type
, unsigned first
, unsigned n
);
162 __isl_give isl_set
*isl_set_eliminate(__isl_take isl_set
*set
,
163 enum isl_dim_type type
, unsigned first
, unsigned n
);
165 int isl_basic_set_constraint_is_redundant(struct isl_basic_set
**bset
,
166 isl_int
*c
, isl_int
*opt_n
, isl_int
*opt_d
);
168 int isl_basic_map_add_div_constraints(struct isl_basic_map
*bmap
, unsigned div
);
169 struct isl_basic_map
*isl_basic_map_drop_redundant_divs(
170 struct isl_basic_map
*bmap
);
171 struct isl_basic_set
*isl_basic_set_drop_redundant_divs(
172 struct isl_basic_set
*bset
);
174 struct isl_basic_set
*isl_basic_set_recession_cone(struct isl_basic_set
*bset
);
175 struct isl_basic_set
*isl_basic_set_lineality_space(struct isl_basic_set
*bset
);
177 struct isl_basic_set
*isl_basic_set_set_rational(struct isl_basic_set
*bset
);
181 struct isl_basic_set
*isl_basic_set_preimage(struct isl_basic_set
*bset
,
182 struct isl_mat
*mat
);
183 struct isl_set
*isl_set_preimage(struct isl_set
*set
, struct isl_mat
*mat
);
185 isl_int
*isl_set_wrap_facet(__isl_keep isl_set
*set
,
186 isl_int
*facet
, isl_int
*ridge
);
188 int isl_basic_map_contains_point(__isl_keep isl_basic_map
*bmap
,
189 __isl_keep isl_point
*point
);
190 int isl_set_contains_point(__isl_keep isl_set
*set
, __isl_keep isl_point
*point
);
192 int isl_basic_set_vars_get_sign(__isl_keep isl_basic_set
*bset
,
193 unsigned first
, unsigned n
, int *signs
);
195 int isl_basic_set_add_div_constraints_var(__isl_keep isl_basic_set
*bset
,
196 unsigned pos
, isl_int
*div
);
197 int isl_basic_map_is_div_constraint(__isl_keep isl_basic_map
*bmap
,
198 isl_int
*constraint
, unsigned div
);