Lines Matching refs:isl_basic_set

107 __isl_give isl_basic_set *isl_basic_set_normalize_constraints(  in isl_basic_set_normalize_constraints()
108 __isl_take isl_basic_set *bset) in isl_basic_set_normalize_constraints()
667 __isl_give isl_basic_set *isl_basic_set_gauss( in isl_basic_set_gauss()
668 __isl_take isl_basic_set *bset, int *progress) in isl_basic_set_gauss()
764 __isl_keep isl_basic_set *bset, int k) in set_hash_index()
772 __isl_keep isl_basic_set *bset) in setup_constraint_index()
1548 __isl_give isl_basic_set *isl_basic_set_simplify( in isl_basic_set_simplify()
1549 __isl_take isl_basic_set *bset) in isl_basic_set_simplify()
1685 __isl_give isl_basic_set *isl_basic_set_finalize( in isl_basic_set_finalize()
1686 __isl_take isl_basic_set *bset) in isl_basic_set_finalize()
1813 __isl_give isl_basic_set *isl_basic_set_eliminate_vars( in isl_basic_set_eliminate_vars()
1814 __isl_take isl_basic_set *bset, unsigned pos, unsigned n) in isl_basic_set_eliminate_vars()
1852 __isl_give isl_basic_set *isl_basic_set_eliminate( in isl_basic_set_eliminate()
1853 __isl_take isl_basic_set *bset, in isl_basic_set_eliminate()
1909 __isl_give isl_basic_set *isl_basic_set_drop_constraints_involving_unknown_divs( in isl_basic_set_drop_constraints_involving_unknown_divs()
1910 __isl_take isl_basic_set *bset) in isl_basic_set_drop_constraints_involving_unknown_divs()
1975 static void set_compute_elimination_index(__isl_keep isl_basic_set *bset, in set_compute_elimination_index()
2002 __isl_keep isl_basic_set *bset, int *elim, unsigned total) in set_reduced_using_equalities()
2008 static __isl_give isl_basic_set *isl_basic_set_reduce_using_equalities( in isl_basic_set_reduce_using_equalities()
2009 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *context) in isl_basic_set_reduce_using_equalities()
2056 __isl_keep isl_basic_set *context, int *row) in mark_shifted_constraints()
2098 static __isl_give isl_basic_set *remove_shifted_constraints( in remove_shifted_constraints()
2099 __isl_take isl_basic_set *bset, __isl_keep isl_basic_set *context) in remove_shifted_constraints()
2142 isl_basic_set *bset, *bset_context; in isl_basic_map_remove_shifted_constraints()
2258 static int *alloc_groups(__isl_keep isl_basic_set *context) in alloc_groups()
2338 static __isl_give isl_basic_set *drop_irrelevant_constraints( in drop_irrelevant_constraints()
2339 __isl_take isl_basic_set *context, __isl_keep isl_basic_set *bset) in drop_irrelevant_constraints()
2384 static __isl_give isl_basic_set *drop_irrelevant_constraints_marked( in drop_irrelevant_constraints_marked()
2385 __isl_take isl_basic_set *context, __isl_keep isl_mat *ineq, int *row) in drop_irrelevant_constraints_marked()
2442 static __isl_give isl_basic_set *update_ineq(__isl_take isl_basic_set *bset, in update_ineq()
2483 static __isl_give isl_basic_set *update_ineq_free( in update_ineq_free()
2484 __isl_take isl_basic_set *bset, __isl_take isl_mat *ineq, in update_ineq_free()
2485 __isl_take isl_basic_set *context, __isl_take int *row, in update_ineq_free()
2530 static __isl_give isl_basic_set *uset_gist_full(__isl_take isl_basic_set *bset, in uset_gist_full()
2531 __isl_take isl_mat *ineq, __isl_take isl_basic_set *context) in uset_gist_full()
2536 isl_basic_set *combined = NULL; in uset_gist_full()
2589 isl_basic_set *test; in uset_gist_full()
2627 static __isl_give isl_mat *extract_ineq(__isl_keep isl_basic_set *bset) in extract_ineq()
2648 static __isl_give isl_basic_set *uset_gist_uncompressed( in uset_gist_uncompressed()
2649 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *context) in uset_gist_uncompressed()
2659 static __isl_give isl_basic_set *replace_by_empty( in replace_by_empty()
2660 __isl_take isl_basic_set *bset) in replace_by_empty()
2699 static __isl_give isl_basic_set *uset_gist_compressed( in uset_gist_compressed()
2700 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *context, in uset_gist_compressed()
2757 static __isl_give isl_basic_set *project_onto_involved( in project_onto_involved()
2758 __isl_take isl_basic_set *bset, __isl_keep isl_basic_set *template) in project_onto_involved()
2807 static __isl_give isl_basic_set *uset_gist(__isl_take isl_basic_set *bset, in uset_gist()
2808 __isl_take isl_basic_set *context) in uset_gist()
2812 isl_basic_set *aff; in uset_gist()
2813 isl_basic_set *aff_context; in uset_gist()
3263 isl_basic_set *bset, *eq; in isl_basic_map_gist()
3613 __isl_take isl_basic_set *context) in isl_set_plain_gist_basic_set()
3733 __isl_give isl_basic_set *isl_basic_set_gist(__isl_take isl_basic_set *bset, in isl_basic_set_gist()
3734 __isl_take isl_basic_set *context) in isl_basic_set_gist()
3741 __isl_take isl_basic_set *context) in isl_set_gist_basic_set()
3748 __isl_take isl_basic_set *context) in isl_set_gist_params_basic_set()
3751 isl_basic_set *dom_context = isl_basic_set_universe(space); in isl_set_gist_params_basic_set()
3766 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context) in isl_basic_map_gist_domain()
3875 int isl_basic_set_plain_is_disjoint(__isl_keep isl_basic_set *bset1, in isl_basic_set_plain_is_disjoint()
3876 __isl_keep isl_basic_set *bset2) in isl_basic_set_plain_is_disjoint()
4071 isl_bool isl_basic_set_is_disjoint(__isl_keep isl_basic_set *bset1, in isl_basic_set_is_disjoint()
4072 __isl_keep isl_basic_set *bset2) in isl_basic_set_is_disjoint()