Cross Reference: /src/external/mit/isl/dist/isl

Lines Matching refs:isl_tab
135 struct isl_tab {
184 struct isl_tab *isl_tab_alloc(struct isl_ctx *ctx,
186 void isl_tab_free(struct isl_tab *tab);
188 isl_ctx *isl_tab_get_ctx(struct isl_tab *tab);
190 __isl_give struct isl_tab *isl_tab_from_basic_map(
192 __isl_give struct isl_tab *isl_tab_from_basic_set(
194 struct isl_tab *isl_tab_from_recession_cone(__isl_keep isl_basic_set *bset,
196 isl_bool isl_tab_cone_is_bounded(struct isl_tab *tab);
198 	__isl_take isl_basic_map *bmap, struct isl_tab *tab);
200 	__isl_take isl_basic_set *bset, struct isl_tab *tab);
201 int isl_tab_detect_implicit_equalities(struct isl_tab *tab) WARN_UNUSED;
202 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,
204 int isl_tab_detect_redundant(struct isl_tab *tab) WARN_UNUSED;
205 isl_stat isl_tab_restore_redundant(struct isl_tab *tab);
207 enum isl_lp_result isl_tab_min(struct isl_tab *tab,
211 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq) WARN_UNUSED;
212 isl_stat isl_tab_add_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
213 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
215 int isl_tab_freeze_constraint(struct isl_tab *tab, int con) WARN_UNUSED;
217 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)
219 isl_stat isl_tab_track_bset(struct isl_tab *tab, __isl_take isl_basic_set *bset)
221 __isl_keep isl_basic_set *isl_tab_peek_bset(struct isl_tab *tab);
223 int isl_tab_is_equality(struct isl_tab *tab, int con);
224 int isl_tab_is_redundant(struct isl_tab *tab, int con);
226 int isl_tab_sample_is_integer(struct isl_tab *tab);
227 __isl_give isl_vec *isl_tab_get_sample_value(struct isl_tab *tab);
238 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq);
240 struct isl_tab_undo *isl_tab_snap(struct isl_tab *tab);
241 isl_stat isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap) WARN_UNUSED;
242 isl_bool isl_tab_need_undo(struct isl_tab *tab);
243 void isl_tab_clear_undo(struct isl_tab *tab);
245 int isl_tab_relax(struct isl_tab *tab, int con) WARN_UNUSED;
246 int isl_tab_select_facet(struct isl_tab *tab, int con) WARN_UNUSED;
247 int isl_tab_unrestrict(struct isl_tab *tab, int con) WARN_UNUSED;
249 void isl_tab_dump(__isl_keep struct isl_tab *tab);
294 struct isl_tab_var *isl_tab_var_from_row(struct isl_tab *tab, int i);
295 int isl_tab_mark_redundant(struct isl_tab *tab, int row) WARN_UNUSED;
296 int isl_tab_mark_rational(struct isl_tab *tab) WARN_UNUSED;
297 isl_stat isl_tab_mark_empty(struct isl_tab *tab) WARN_UNUSED;
298 struct isl_tab *isl_tab_dup(struct isl_tab *tab);
299 struct isl_tab *isl_tab_product(struct isl_tab *tab1, struct isl_tab *tab2);
300 int isl_tab_extend_cons(struct isl_tab *tab, unsigned n_new) WARN_UNUSED;
301 int isl_tab_allocate_con(struct isl_tab *tab) WARN_UNUSED;
302 int isl_tab_extend_vars(struct isl_tab *tab, unsigned n_new) WARN_UNUSED;
303 int isl_tab_insert_var(struct isl_tab *tab, int pos) WARN_UNUSED;
304 int isl_tab_pivot(struct isl_tab *tab, int row, int col) WARN_UNUSED;
305 int isl_tab_add_row(struct isl_tab *tab, isl_int *line) WARN_UNUSED;
306 int isl_tab_row_is_redundant(struct isl_tab *tab, int row);
307 int isl_tab_min_at_most_neg_one(struct isl_tab *tab, struct isl_tab_var *var);
308 int isl_tab_sign_of_max(struct isl_tab *tab, int con);
309 int isl_tab_kill_col(struct isl_tab *tab, int col) WARN_UNUSED;
311 isl_stat isl_tab_push(struct isl_tab *tab, enum isl_tab_undo_type type)
313 isl_stat isl_tab_push_var(struct isl_tab *tab,
315 isl_stat isl_tab_push_basis(struct isl_tab *tab) WARN_UNUSED;
317 struct isl_tab *isl_tab_init_samples(struct isl_tab *tab) WARN_UNUSED;
318 int isl_tab_add_sample(struct isl_tab *tab,
320 struct isl_tab *isl_tab_drop_sample(struct isl_tab *tab, int s);
321 isl_stat isl_tab_save_samples(struct isl_tab *tab) WARN_UNUSED;
323 struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab,
324 	struct isl_tab *tab_cone) WARN_UNUSED;
325 isl_bool isl_tab_is_constant(struct isl_tab *tab, int var, isl_int *value);
326 isl_stat isl_tab_detect_constants(struct isl_tab *tab);
328 isl_stat isl_tab_push_callback(struct isl_tab *tab,
331 int isl_tab_insert_div(struct isl_tab *tab, int pos, __isl_keep isl_vec *div,
333 int isl_tab_add_div(struct isl_tab *tab, __isl_keep isl_vec *div);
335 int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift) WARN_UNUSED;
337 isl_stat isl_tab_swap_constraints(struct isl_tab *tab, int con1, int con2);
OpenGrok
