|
Polly 20.0.0git
|
Go to the source code of this file.
| __isl_give isl_printer * isl_printer_print_union_set | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_set * | uset | ||
| ) |
Definition at line 1675 of file isl_output.c.
References isl_die, isl_error_invalid, ISL_FORMAT_ISL, ISL_FORMAT_LATEX, isl_printer_free(), isl_union_map_print_latex(), p, and uset_to_umap().
Referenced by isl_obj_union_set_print(), and print_tree_band().
| __isl_give isl_set * isl_set_from_union_set | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 769 of file isl_union_map.c.
References isl_map_from_union_map().
Referenced by add_node(), compute_domains(), polly::IslNodeBuilder::createNewAccesses(), FN(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_union_map_params(), isl_union_set_as_set(), isl_union_set_is_params(), isl::set::set(), test_one_schedule(), test_padded_schedule(), union_map_gist_params(), and union_map_intersect_params().
| __isl_export __isl_give isl_union_set * isl_set_to_union_set | ( | __isl_take isl_set * | set | ) |
Definition at line 553 of file isl_union_map.c.
References isl_union_set_from_set(), and set.
Referenced by isl::set::to_union_set().
| __isl_give isl_union_set * isl_union_set_add_set | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_set * | set | ||
| ) |
Definition at line 515 of file isl_union_map.c.
References isl_union_map_add_map(), set, and set_to_map.
Referenced by add_loop_types(), add_non_trivial_lineality(), bind_id(), coefficients_entry(), collect_bounds(), collect_domain(), FN(), polly::Scop::getDomains(), loop_types(), set_product_entry(), solutions_entry(), and zero_union_set().
| __isl_export __isl_give isl_union_set * isl_union_set_affine_hull | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2100 of file isl_union_map.c.
References isl_union_map_affine_hull().
Referenced by isl::union_set::affine_hull().
| __isl_export __isl_give isl_union_set * isl_union_set_apply | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_union_map * | umap | ||
| ) |
Definition at line 1703 of file isl_union_map.c.
References isl_union_map_apply_range().
Referenced by isl::union_set::apply(), collect_filter_prefix_expansion(), exploit_intra_lineality(), gist_enter_expansion(), and isl_schedule_constraints_apply().
| __isl_export __isl_give isl_set * isl_union_set_as_set | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 777 of file isl_union_map.c.
References isl_set_from_union_set().
Referenced by isl::union_set::as_set().
| __isl_export __isl_give isl_union_set * isl_union_set_coalesce | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2203 of file isl_union_map.c.
References isl_union_map_coalesce().
Referenced by build_ast_from_domain(), isl::union_set::coalesce(), has_violated_conditional_constraint(), isl_schedule_node_group(), and unconditionalize_adjacent_validity().
| __isl_give isl_union_set * isl_union_set_coefficients | ( | __isl_take isl_union_set * | bset | ) |
Definition at line 3454 of file isl_union_map.c.
References coefficients_entry(), isl_hash_table_foreach(), isl_space_set_alloc(), isl_union_map_alloc(), isl_union_set_free(), isl_union_set_get_ctx(), and res.
| __isl_export __isl_give isl_union_set * isl_union_set_compute_divs | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2227 of file isl_union_map.c.
References isl_union_map_compute_divs().
Referenced by isl::union_set::compute_divs(), and polly::simplify().
| isl_bool isl_union_set_contains | ( | __isl_keep isl_union_set * | uset, |
| __isl_keep isl_space * | space | ||
| ) |
Definition at line 824 of file isl_union_map.c.
References isl_union_map_contains().
Referenced by isl::union_set::contains(), and test_union_set_contains().
| __isl_give isl_union_set * isl_union_set_copy | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 378 of file isl_union_map.c.
References isl_union_map_copy().
Referenced by polly::Dependences::addPrivatizationDependences(), after_in_filter(), polly::Dependences::calculateDependences(), collect_filter_prefix_update(), isl::union_set::copy(), count_sink_source(), domain_intersects(), expand(), exploit_inter_lineality(), exploit_intra_lineality(), gist_enter(), gist_enter_expansion(), group_ancestor(), group_band(), group_domain(), group_expansion(), intersect_explicit_domain(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_multi_union_pw_aff_multi_val_on_domain_aligned(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_obj_union_set_copy(), isl_schedule_band_dup(), isl_schedule_band_get_ast_build_options(), isl_schedule_constraints_copy(), isl_schedule_constraints_get_domain(), isl_schedule_node_domain_intersect_domain(), isl_schedule_node_group(), isl_schedule_node_insert_children(), isl_schedule_node_order_before_or_after(), isl_schedule_node_sequence_splice_child(), isl_schedule_pair(), isl_schedule_tree_children_insert_filter(), isl_schedule_tree_domain_get_domain(), isl_schedule_tree_dup(), isl_schedule_tree_filter_get_filter(), isl_union_set_is_params(), isl_union_set_opt_multi_union_pw_aff(), locally_covered_by_domain(), range_intersects(), replace_by_universe_if_disjoint(), test_one_schedule(), test_product(), and test_union().
| __isl_export __isl_give isl_union_set * isl_union_set_detect_equalities | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2215 of file isl_union_map.c.
References isl_union_map_detect_equalities().
Referenced by isl::union_set::detect_equalities().
| isl_size isl_union_set_dim | ( | __isl_keep isl_union_set * | uset, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 61 of file isl_union_map.c.
References isl_union_map_dim(), and type.
Referenced by union_set_drop_extra_params().
| void isl_union_set_dump | ( | __isl_keep isl_union_set * | uset | ) |
| __isl_give isl_union_set * isl_union_set_empty | ( | __isl_take isl_space * | space | ) |
Definition at line 165 of file isl_union_map.c.
References isl_union_set_empty_space().
Referenced by add_non_trivial_lineality(), polly::Dependences::addPrivatizationDependences(), collect_domain(), FN(), polly::Scop::getDomains(), gist_leave(), has_violated_conditional_constraint(), initial_domain_from_children(), isl_schedule_band_from_multi_union_pw_aff(), isl_schedule_empty(), isl_schedule_node_get_domain(), isl_schedule_node_get_universe_domain(), isl_union_pw_aff_bind_id(), isl_union_pw_aff_zero_union_set(), isl_union_set_from_point(), isl_union_set_list_union(), isl_union_set_solutions(), loop_types(), obj_read_disjuncts(), union_drop_coalescing_constraints(), and update_edges().
| __isl_overload __isl_give isl_union_set * isl_union_set_empty_ctx | ( | isl_ctx * | ctx | ) |
Definition at line 153 of file isl_union_map.c.
References isl_union_map_empty_ctx(), and uset_from_umap().
Referenced by add_scc_seq(), and isl::union_set::empty().
| __isl_give isl_union_set * isl_union_set_empty_space | ( | __isl_take isl_space * | space | ) |
Definition at line 158 of file isl_union_map.c.
References isl_union_map_empty_space(), and uset_from_umap().
Referenced by isl_union_set_empty().
| __isl_export isl_bool isl_union_set_every_set | ( | __isl_keep isl_union_set * | uset, |
| isl_bool(*)(__isl_keep isl_set *set, void *user) | test, | ||
| void * | user | ||
| ) |
Definition at line 859 of file isl_union_map.c.
References isl_union_map_every_map(), test, test_set_from_map(), user, and uset_to_umap().
Referenced by isl::union_set::every_set(), and has_any().
| __isl_export __isl_give isl_set * isl_union_set_extract_set | ( | __isl_keep isl_union_set * | uset, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 802 of file isl_union_map.c.
References isl_union_map_extract_map(), and set_from_map().
Referenced by before_for(), extract_loop_type(), isl::union_set::extract_set(), FN(), and isl_schedule_band_get_ast_isolate_option().
| __isl_export isl_stat isl_union_set_foreach_point | ( | __isl_keep isl_union_set * | uset, |
| isl_stat(*)(__isl_take isl_point *pnt, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 884 of file isl_union_map.c.
References fn, foreach_point(), isl_union_set_foreach_set(), and user.
Referenced by isl::union_set::foreach_point().
| __isl_export isl_stat isl_union_set_foreach_set | ( | __isl_keep isl_union_set * | uset, |
| isl_stat(*)(__isl_take isl_set *set, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 830 of file isl_union_map.c.
References __isl_take, fn, isl_union_map_foreach_map(), and user.
Referenced by compute_max_row(), exploit_intra_lineality(), isl::union_set::foreach_set(), generate_code(), isl_sched_graph_init(), isl_union_map_is_single_valued(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_pw_aff_val_on_domain(), isl_union_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_set_foreach_point(), isl_union_set_get_basic_set_list(), isl_union_set_identity_union_pw_multi_aff(), isl_union_set_n_basic_set(), and union_drop_coalescing_constraints().
| __isl_null isl_union_set * isl_union_set_free | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 399 of file isl_union_map.c.
References isl_union_map_free().
Referenced by polly::Dependences::addPrivatizationDependences(), before_for(), polly::Dependences::calculateDependences(), check_band_schedule_total_on_instances(), collect_filter_prefix_expansion(), collect_inter_validity(), collect_intra_validity(), collect_universe_domain_extension(), compute_max_row(), count_sink_source(), expand(), exploit_intra_lineality(), extract_space_from_filter_child(), FN(), generate_code(), gist_done(), gist_leave(), graft_extension(), group_ancestor(), group_band(), group_context(), group_domain(), group_expansion(), has_violated_conditional_constraint(), insert_extension(), intersect_explicit_domain(), isl_carry_clear(), isl_multi_union_pw_aff_multi_val_on_domain(), isl_multi_union_pw_aff_multi_val_on_domain_aligned(), isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_obj_union_set_free(), isl_sched_graph_init(), isl_schedule_band_free(), isl_schedule_band_gist(), isl_schedule_band_intersect_domain(), isl_schedule_band_set_ast_build_options(), isl_schedule_band_shift(), isl_schedule_constraints_compute_schedule(), isl_schedule_constraints_free(), isl_schedule_constraints_init(), isl_schedule_constraints_on_domain(), isl_schedule_constraints_set_domain(), isl_schedule_get_space(), isl_schedule_intersect_domain(), isl_schedule_node_band_set_ast_build_options(), isl_schedule_node_domain_intersect_domain(), isl_schedule_node_expand(), isl_schedule_node_filter_intersect_filter(), isl_schedule_node_filter_set_filter(), isl_schedule_node_get_domain(), isl_schedule_node_get_universe_domain(), isl_schedule_node_group(), isl_schedule_node_order_before_or_after(), isl_schedule_node_sequence_splice_child(), isl_schedule_pair(), isl_schedule_tree_band_gist(), isl_schedule_tree_band_intersect_domain(), isl_schedule_tree_band_set_ast_build_options(), isl_schedule_tree_children_insert_filter(), isl_schedule_tree_domain_set_domain(), isl_schedule_tree_filter_set_filter(), isl_schedule_tree_free(), isl_schedule_tree_from_domain(), isl_schedule_tree_from_filter(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_map_is_single_valued(), isl_union_map_plain_is_injective(), isl_union_pw_aff_bind_id(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_pw_aff_val_on_domain(), isl_union_pw_aff_zero_union_set(), isl_union_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_set_coefficients(), isl_union_set_identity_union_pw_multi_aff(), isl_union_set_intersect(), isl_union_set_solutions(), locally_covered_by_domain(), print_tree_band(), read_band(), read_domain(), read_filter(), replace_by_universe_if_disjoint(), test_bind_mupa(), test_bind_umap_range(), test_one_schedule(), test_product(), test_schedule_tree_group_1(), test_un_locus(), test_union(), test_union_set_contains(), unconditionalize_adjacent_validity(), union_drop_coalescing_constraints(), union_set_drop_extra_params(), update_edges(), uset_is_equal(), and isl::union_set::~union_set().
| __isl_constructor __isl_give isl_union_set * isl_union_set_from_basic_set | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 564 of file isl_union_map.c.
References isl_union_map_from_basic_map().
Referenced by add_node(), and isl::union_set::union_set().
| __isl_constructor __isl_give isl_union_set * isl_union_set_from_point | ( | __isl_take isl_point * | pnt | ) |
Definition at line 708 of file isl_point.c.
References isl_point_free(), isl_point_get_space(), isl_point_is_void(), isl_set_from_point(), isl_union_set_empty(), and isl_union_set_from_set().
Referenced by isl::union_set::union_set().
| __isl_constructor __isl_give isl_union_set * isl_union_set_from_set | ( | __isl_take isl_set * | set | ) |
Definition at line 545 of file isl_union_map.c.
References isl_union_map_from_map(), set, and set_to_map.
Referenced by after_in_context(), build_ast_from_context(), build_ast_from_domain(), build_ast_from_extension(), polly::Dependences::calculateDependences(), collect_edge_constraints(), compute_separate_domain(), extension_from_domain(), extract_union_set(), generate_code_in_space(), generate_shifted_component_tree_part(), intersect_domains(), ISL_ARG_BOOL(), isl_multi_union_pw_aff_from_multi_pw_aff(), isl_multi_union_pw_aff_init_explicit_domain(), isl_multi_union_pw_aff_intersect_range(), isl_sched_graph_domain(), isl_schedule_band_replace_ast_build_option(), isl_schedule_node_group(), isl_set_to_union_set(), isl_stream_read_union_map(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_set_from_point(), plain_injective_on_range_wrap(), single_valued_on_domain(), solutions_entry(), test_parse_mupa(), to_union(), and isl::union_set::union_set().
| __isl_give isl_basic_set_list * isl_union_set_get_basic_set_list | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 4470 of file isl_union_map.c.
References add_list(), isl_basic_set_list, isl_union_set_foreach_set(), isl_union_set_get_ctx(), isl_union_set_n_basic_set(), and n.
Referenced by collect_inter_validity(), and collect_intra_validity().
| isl_ctx * isl_union_set_get_ctx | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 175 of file isl_union_map.c.
Referenced by isl::union_set::ctx(), extract_loop_type(), isl_schedule_constraints_copy(), isl_schedule_constraints_get_ctx(), isl_schedule_constraints_on_domain(), isl_schedule_from_domain(), isl_schedule_tree_from_domain(), isl_schedule_tree_from_filter(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_set_coefficients(), isl_union_set_get_basic_set_list(), replace_by_universe_if_disjoint(), uset_check_equal(), and uset_is_equal().
| uint32_t isl_union_set_get_hash | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 4418 of file isl_union_map.c.
References isl_union_map_get_hash().
| __isl_export __isl_give isl_set_list * isl_union_set_get_set_list | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 698 of file isl_union_map.c.
References isl_union_map_get_map_list(), set_list_from_map_list(), and uset_to_umap().
Referenced by isl::union_set::set_list().
| __isl_export __isl_give isl_space * isl_union_set_get_space | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 223 of file isl_union_map.c.
References isl_union_map_get_space().
Referenced by add_loop_types(), polly::Dependences::addPrivatizationDependences(), append_range(), build_ast_from_domain(), polly::Dependences::calculateDependences(), clear_isolate_loop_types(), clear_loop_types(), collect_filter_prefix_expansion(), extension_from_domain(), extract_loop_type(), extract_space_from_filter_child(), gist_leave(), group_context(), isl_multi_union_pw_aff_multi_val_on_domain(), isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_schedule_constraints_align_params(), isl_schedule_constraints_init(), isl_schedule_get_space(), isl_schedule_node_get_subtree_contraction(), isl_schedule_node_get_subtree_expansion(), isl_union_pw_aff_param_on_domain_id(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_pw_aff_val_on_domain(), isl_union_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_set_identity_union_pw_multi_aff(), isl_union_set_solutions(), loop_types(), isl::union_set::space(), subtree_schedule_extend_from_children(), test_multi_pw_aff_3(), and test_padded_schedule().
| __isl_export __isl_give isl_union_set * isl_union_set_gist | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_union_set * | context | ||
| ) |
Definition at line 1314 of file isl_union_map.c.
References context, isl_union_map_gist(), isl_union_set_is_params(), and union_map_gist_params().
Referenced by isl::union_set::gist(), gist_enter(), isl_schedule_node_order_before_or_after(), and isl_schedule_pair().
| __isl_export __isl_give isl_union_set * isl_union_set_gist_params | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_set * | set | ||
| ) |
Definition at line 1302 of file isl_union_map.c.
References isl_union_map_gist_params(), and set.
Referenced by isl::union_set::gist_params(), and isl_schedule_node_domain_gist_params().
| __isl_export __isl_give isl_union_set * isl_union_set_intersect | ( | __isl_take isl_union_set * | uset1, |
| __isl_take isl_union_set * | uset2 | ||
| ) |
Definition at line 1256 of file isl_union_map.c.
References isl_union_map_intersect(), isl_union_set_free(), isl_union_set_is_params(), and union_map_intersect_params().
Referenced by collect_filter_prefix_expansion(), collect_filter_prefix_update(), collect_universe_domain_extension(), gist_enter(), isl::union_set::intersect(), isl_multi_union_pw_aff_domain(), isl_multi_union_pw_aff_zero_union_set(), isl_schedule_node_domain_intersect_domain(), isl_schedule_node_filter_intersect_filter(), isl_schedule_node_order_before_or_after(), isl_schedule_tree_insert_filter(), and locally_covered_by_domain().
| __isl_export __isl_give isl_union_set * isl_union_set_intersect_params | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_set * | set | ||
| ) |
Definition at line 1158 of file isl_union_map.c.
References isl_union_map_intersect_params(), and set.
Referenced by isl::union_set::intersect_params(), isl_sched_graph_init(), and preimage_explicit_domain().
| __isl_export isl_bool isl_union_set_is_disjoint | ( | __isl_keep isl_union_set * | uset1, |
| __isl_keep isl_union_set * | uset2 | ||
| ) |
Definition at line 2757 of file isl_union_map.c.
References isl_union_map_is_disjoint().
Referenced by isl::union_set::is_disjoint(), isl_schedule_node_group(), isl_schedule_pair(), and replace_by_universe_if_disjoint().
| __isl_export isl_bool isl_union_set_is_empty | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 2902 of file isl_union_map.c.
References isl_union_map_is_empty().
Referenced by expand(), gist_enter(), gist_leave(), isl::union_set::is_empty(), isl_schedule_node_order_before_or_after(), isl_stream_read_union_map(), and print_tree_band().
| __isl_export isl_bool isl_union_set_is_equal | ( | __isl_keep isl_union_set * | uset1, |
| __isl_keep isl_union_set * | uset2 | ||
| ) |
Definition at line 2662 of file isl_union_map.c.
References isl_union_map_is_equal().
Referenced by isl::union_set::is_equal(), isl_schedule_band_plain_is_equal(), isl_schedule_tree_plain_is_equal(), test_product(), test_schedule_tree_group_1(), test_un_locus(), test_union(), and uset_is_equal().
| isl_bool isl_union_set_is_params | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 84 of file isl_union_map.c.
References isl_bool_error, isl_bool_false, isl_set_free(), isl_set_from_union_set(), isl_set_is_params(), isl_union_set_copy(), params, and set.
Referenced by FN(), intersect_explicit_domain(), isl_multi_union_pw_aff_has_non_trivial_domain(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_map_gist_domain(), isl_union_map_intersect_domain_union_set(), isl_union_map_is_params(), isl_union_set_gist(), isl_union_set_intersect(), and preimage_explicit_domain().
| __isl_export isl_bool isl_union_set_is_strict_subset | ( | __isl_keep isl_union_set * | uset1, |
| __isl_keep isl_union_set * | uset2 | ||
| ) |
Definition at line 2682 of file isl_union_map.c.
References isl_union_map_is_strict_subset().
Referenced by isl::union_set::is_strict_subset().
| __isl_export isl_bool isl_union_set_is_subset | ( | __isl_keep isl_union_set * | uset1, |
| __isl_keep isl_union_set * | uset2 | ||
| ) |
Definition at line 2642 of file isl_union_map.c.
References isl_union_map_is_subset().
Referenced by check_band_schedule_total_on_instances(), gist_done(), group_domain(), group_expansion(), isl::union_set::is_subset(), isl_schedule_band_shift(), isl_schedule_node_domain_intersect_domain(), isl_schedule_node_filter_intersect_filter(), locally_covered_by_domain(), and test_one_schedule().
| __isl_export isl_bool isl_union_set_isa_set | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 721 of file isl_union_map.c.
References isl_union_map_isa_map(), and uset_to_umap().
Referenced by isl::union_set::isa_set().
| __isl_give isl_union_map * isl_union_set_lex_ge_union_set | ( | __isl_take isl_union_set * | uset1, |
| __isl_take isl_union_set * | uset2 | ||
| ) |
Definition at line 1374 of file isl_union_map.c.
References isl_union_map_reverse(), and isl_union_set_lex_le_union_set().
| __isl_give isl_union_map * isl_union_set_lex_gt_union_set | ( | __isl_take isl_union_set * | uset1, |
| __isl_take isl_union_set * | uset2 | ||
| ) |
Definition at line 1368 of file isl_union_map.c.
References isl_union_map_reverse(), and isl_union_set_lex_lt_union_set().
Referenced by test_union().
| __isl_give isl_union_map * isl_union_set_lex_le_union_set | ( | __isl_take isl_union_set * | uset1, |
| __isl_take isl_union_set * | uset2 | ||
| ) |
Definition at line 1362 of file isl_union_map.c.
References lex_le_set(), and match_bin_op().
Referenced by polly::Dependences::addPrivatizationDependences(), and isl_union_set_lex_ge_union_set().
| __isl_give isl_union_map * isl_union_set_lex_lt_union_set | ( | __isl_take isl_union_set * | uset1, |
| __isl_take isl_union_set * | uset2 | ||
| ) |
Definition at line 1356 of file isl_union_map.c.
References lex_lt_set(), and match_bin_op().
Referenced by isl_union_set_lex_gt_union_set().
| __isl_export __isl_give isl_union_set * isl_union_set_lexmax | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2251 of file isl_union_map.c.
References isl_union_map_lexmax().
Referenced by isl::union_set::lexmax().
| __isl_export __isl_give isl_union_set * isl_union_set_lexmin | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2239 of file isl_union_map.c.
References isl_union_map_lexmin().
Referenced by isl::union_set::lexmin().
| __isl_give isl_union_set * isl_union_set_lift | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 3434 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_set_lift(), and un_op.
| __isl_give isl_union_set * isl_union_set_list_union | ( | __isl_take isl_union_set_list * | list | ) |
Definition at line 4355 of file isl_union_map.c.
References isl_space_params_alloc(), isl_union_set_empty(), isl_union_set_union(), n, and res.
| isl_size isl_union_set_n_set | ( | __isl_keep isl_union_set * | uset | ) |
Definition at line 590 of file isl_union_map.c.
References isl_size_error.
Referenced by before_for(), polly::ZoneAlgorithm::collectCompatibleElts(), isl_sched_graph_init(), isl_schedule_constraints_compute_schedule(), polly::singleton(), and test_one_schedule().
| __isl_give isl_set * isl_union_set_params | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2330 of file isl_union_map.c.
References isl_union_map_params().
Referenced by intersect_explicit_domain(), isl::union_set::params(), and preimage_explicit_domain().
| __isl_export __isl_give isl_union_set * isl_union_set_polyhedral_hull | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2141 of file isl_union_map.c.
References isl_union_map_polyhedral_hull().
Referenced by isl::union_set::polyhedral_hull().
| __isl_overload __isl_give isl_union_set * isl_union_set_preimage_multi_aff | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 3715 of file isl_union_map.c.
References isl_pw_multi_aff_from_multi_aff(), isl_union_set_preimage_pw_multi_aff(), and ma.
Referenced by isl::union_set::preimage().
| __isl_overload __isl_give isl_union_set * isl_union_set_preimage_pw_multi_aff | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 3674 of file isl_union_map.c.
References isl_set_preimage_pw_multi_aff(), pma, preimage_pw_multi_aff(), and set_match().
Referenced by isl_union_set_preimage_multi_aff(), isl_union_set_preimage_union_pw_multi_aff(), and isl::union_set::preimage().
| __isl_overload __isl_give isl_union_set * isl_union_set_preimage_union_pw_multi_aff | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_union_pw_multi_aff * | upma | ||
| ) |
Definition at line 3923 of file isl_union_map.c.
References isl_union_set_preimage_pw_multi_aff(), and preimage_union_pw_multi_aff().
Referenced by collect_filter_prefix_expansion(), isl_multi_union_pw_aff_intersect_range(), isl_schedule_tree_pullback_union_pw_multi_aff(), isl::union_set::preimage(), and preimage_explicit_domain().
| __isl_give isl_union_set * isl_union_set_product | ( | __isl_take isl_union_set * | uset1, |
| __isl_take isl_union_set * | uset2 | ||
| ) |
Definition at line 1791 of file isl_union_map.c.
References bin_op, and set_product_entry().
Referenced by test_product().
| __isl_give isl_union_set * isl_union_set_project_out | ( | __isl_take isl_union_set * | uset, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4040 of file isl_union_map.c.
References isl_union_map_project_out_data::first, isl_union_map_project_out(), n, and type.
Referenced by isl_multi_union_pw_aff_drop_explicit_domain_dims(), and union_set_drop_extra_params().
| __isl_give isl_union_set * isl_union_set_project_out_all_params | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 4050 of file isl_union_map.c.
References isl_union_map_project_out_all_params(), uset_from_umap(), and uset_to_umap().
Referenced by collect_intra_validity().
| __isl_give isl_union_set * isl_union_set_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3364 of file isl_input.c.
References isl_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_union_set().
| __isl_constructor __isl_give isl_union_set * isl_union_set_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by compute_schedule_with_context(), read_band(), read_domain(), read_filter(), test_coalescing_schedule(), test_conditional_schedule_constraints(), test_multi_pw_aff_3(), test_mupa_uset(), test_one_schedule(), test_padded_schedule(), test_product(), test_schedule_tree(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_schedule_tree_prefix(), test_special_conditional_schedule_constraints(), test_special_conditional_schedule_constraints_2(), test_subtract(), test_tile(), test_un_locus(), test_union(), test_union_set_contains(), test_upa(), test_upma_uset(), isl::union_set::union_set(), and uset_is_equal().
| __isl_give isl_union_set * isl_union_set_remove_divs | ( | __isl_take isl_union_set * | bset | ) |
Definition at line 3967 of file isl_union_map.c.
References isl_union_map_remove_divs().
Referenced by collect_intra_validity(), and exploit_intra_lineality().
| __isl_give isl_union_set * isl_union_set_remove_redundancies | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2191 of file isl_union_map.c.
References isl_union_map_remove_redundancies().
| __isl_give isl_union_set * isl_union_set_reset_user | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 3949 of file isl_union_map.c.
References isl_union_map_reset_user().
Referenced by isl_schedule_band_reset_user(), and isl_schedule_tree_reset_user().
| __isl_give isl_basic_set * isl_union_set_sample | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2799 of file isl_union_map.c.
References bset_from_bmap(), and isl_union_map_sample().
Referenced by isl_union_set_sample_point().
| __isl_export __isl_give isl_point * isl_union_set_sample_point | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2807 of file isl_union_map.c.
References isl_basic_set_sample_point(), and isl_union_set_sample().
Referenced by isl::union_set::sample_point().
| __isl_give isl_union_set * isl_union_set_simple_hull | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2162 of file isl_union_map.c.
References isl_union_map_simple_hull().
| __isl_give isl_union_set * isl_union_set_solutions | ( | __isl_take isl_union_set * | bset | ) |
Definition at line 3497 of file isl_union_map.c.
References isl_hash_table_foreach(), isl_union_set_empty(), isl_union_set_free(), isl_union_set_get_space(), res, and solutions_entry().
| __isl_export __isl_give isl_union_set * isl_union_set_subtract | ( | __isl_take isl_union_set * | uset1, |
| __isl_take isl_union_set * | uset2 | ||
| ) |
Definition at line 1075 of file isl_union_map.c.
References isl_union_map_subtract().
Referenced by clear_isolate_loop_types(), clear_loop_types(), expand(), exploit_intra_lineality(), group_ancestor(), group_band(), group_domain(), isl_schedule_band_replace_ast_build_option(), isl_schedule_node_order_before_or_after(), and isl::union_set::subtract().
| __isl_give char * isl_union_set_to_str | ( | __isl_keep isl_union_set * | uset | ) |
Referenced by isl::operator<<().
| __isl_export __isl_give isl_union_set * isl_union_set_union | ( | __isl_take isl_union_set * | uset1, |
| __isl_take isl_union_set * | uset2 | ||
| ) |
Definition at line 363 of file isl_union_map.c.
References isl_union_map_union().
Referenced by add_scc_seq(), collect_universe_domain_extension(), exploit_intra_lineality(), gist_enter_extension(), group_ancestor(), group_domain(), has_violated_conditional_constraint(), initial_domain_from_children(), is_disjoint_extension(), isl_obj_union_set_add(), isl_sched_graph_domain(), isl_schedule_band_replace_ast_build_option(), isl_schedule_pair(), isl_union_set_list_union(), isl::union_set::unite(), and update_edges().
| __isl_export __isl_give isl_union_set * isl_union_set_universe | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2276 of file isl_union_map.c.
References isl_union_map_universe().
Referenced by polly::Dependences::addPrivatizationDependences(), collect_filter_prefix_init(), collect_filter_prefix_update(), group_band(), initial_domain(), isl_schedule_node_group(), replace_by_universe_if_disjoint(), set_universe(), and isl::union_set::universe().
1.9.6