Polly 20.0.0git
|
#include <isl-noexceptions.h>
Static Public Member Functions | |
static isl::basic_set | universe (isl::space space) |
Protected Member Functions | |
basic_set (__isl_take isl_basic_set *ptr) | |
Protected Attributes | |
isl_basic_set * | ptr = nullptr |
Friends | |
basic_set | manage (__isl_take isl_basic_set *ptr) |
basic_set | manage_copy (__isl_keep isl_basic_set *ptr) |
Definition at line 1669 of file isl-noexceptions.h.
|
inlineexplicitprotected |
Definition at line 9034 of file isl-noexceptions.h.
|
inline |
Definition at line 9025 of file isl-noexceptions.h.
|
inline |
Definition at line 9028 of file isl-noexceptions.h.
|
inline |
Definition at line 9037 of file isl-noexceptions.h.
References isl_basic_set_from_point(), ptr, isl::point::release(), and res.
|
inlineexplicit |
Definition at line 9043 of file isl-noexceptions.h.
References isl_basic_set_read_from_str(), ptr, isl::ctx::release(), res, and str.
|
inline |
Definition at line 9054 of file isl-noexceptions.h.
References isl_basic_set_free(), and ptr.
|
inline |
Definition at line 9081 of file isl-noexceptions.h.
References isl::set::add_constraint().
Referenced by isl::point::add_constraint().
Definition at line 9086 of file isl-noexceptions.h.
References isl::set::add_dims(), n, and type.
Referenced by isl::point::add_dims().
|
inline |
Definition at line 9091 of file isl-noexceptions.h.
References copy(), isl_basic_set_affine_hull(), manage, and res.
Referenced by isl::point::affine_hull().
|
inline |
Definition at line 9097 of file isl-noexceptions.h.
References isl::set::align_params().
Referenced by isl::point::align_params().
Definition at line 9108 of file isl-noexceptions.h.
References isl::set::apply().
|
inline |
Definition at line 9113 of file isl-noexceptions.h.
References isl::set::apply().
|
inline |
Definition at line 9102 of file isl-noexceptions.h.
References copy(), isl_basic_set_apply(), manage, isl::basic_map::release(), and res.
Referenced by isl::point::apply().
|
inline |
Definition at line 9118 of file isl-noexceptions.h.
References isl::set::as_pw_multi_aff().
Referenced by isl::point::as_pw_multi_aff().
|
inline |
Definition at line 9123 of file isl-noexceptions.h.
References isl::set::as_set().
Referenced by isl::point::as_set().
|
inline |
Definition at line 9128 of file isl-noexceptions.h.
References isl::set::basic_set_list().
Referenced by isl::point::basic_set_list().
|
inline |
Definition at line 9133 of file isl-noexceptions.h.
References isl::set::bind(), and tuple.
Referenced by isl::point::bind().
|
inline |
Definition at line 9138 of file isl-noexceptions.h.
References isl::set::coalesce().
Referenced by isl::point::coalesce().
|
inline |
Definition at line 9143 of file isl-noexceptions.h.
References isl::set::complement().
Referenced by isl::point::complement().
|
inline |
Definition at line 9148 of file isl-noexceptions.h.
References isl::set::compute_divs().
Referenced by isl::point::compute_divs().
|
inline |
Definition at line 9153 of file isl-noexceptions.h.
References isl::set::contains().
Referenced by isl::point::contains().
|
inline |
Definition at line 9158 of file isl-noexceptions.h.
References isl::set::convex_hull().
Referenced by isl::point::convex_hull().
|
inlinedelete |
|
inline |
Definition at line 9059 of file isl-noexceptions.h.
References isl_basic_set_copy(), and ptr.
Referenced by affine_hull(), apply(), detect_equalities(), dim_max_val(), fix_si(), fix_val(), flatten(), gist(), intersect(), intersect_params(), lexmax(), lexmin(), params(), project_out(), sample(), sample_point(), to_list(), to_set(), and unite().
|
inline |
Definition at line 9077 of file isl-noexceptions.h.
References isl_basic_set_get_ctx(), and ptr.
Referenced by find_dim_by_id(), fix_val(), lower_bound_val(), project_out_param(), set_dim_id(), set_tuple_id(), and upper_bound_val().
|
inline |
Definition at line 9163 of file isl-noexceptions.h.
References copy(), isl_basic_set_detect_equalities(), manage, and res.
Referenced by isl::point::detect_equalities().
Definition at line 9169 of file isl-noexceptions.h.
References get(), isl_basic_set_dim(), manage, res, and type.
Referenced by isl::point::dim(), polly::ScopBuilder::foldSizeConstantsToRight(), and recursiveExpand().
Definition at line 9175 of file isl-noexceptions.h.
References isl::set::dim_has_any_lower_bound(), pos(), and type.
Referenced by isl::point::dim_has_any_lower_bound().
Definition at line 9180 of file isl-noexceptions.h.
References isl::set::dim_id(), pos(), and type.
Referenced by isl::point::dim_id().
|
inline |
Definition at line 9185 of file isl-noexceptions.h.
References isl::set::dim_max(), and pos().
Referenced by isl::point::dim_max().
|
inline |
Definition at line 9190 of file isl-noexceptions.h.
References copy(), isl_basic_set_dim_max_val(), manage, pos(), and res.
Referenced by isl::point::dim_max_val().
|
inline |
Definition at line 9196 of file isl-noexceptions.h.
References isl::set::dim_min(), and pos().
Referenced by isl::point::dim_min().
|
inline |
Definition at line 9201 of file isl-noexceptions.h.
References isl::set::dim_min_val(), and pos().
Referenced by isl::point::dim_min_val().
|
inline |
Definition at line 9206 of file isl-noexceptions.h.
References isl::set::dim_name(), pos(), and type.
Referenced by isl::point::dim_name().
|
inline |
Definition at line 9211 of file isl-noexceptions.h.
References get(), isl_basic_set_get_div(), manage, pos(), and res.
Referenced by isl::point::div().
|
inline |
Definition at line 9222 of file isl-noexceptions.h.
References isl::set::drop_constraints_involving_dims(), n, and type.
Referenced by isl::point::drop_constraints_involving_dims().
|
inline |
Definition at line 9227 of file isl-noexceptions.h.
References isl::set::eliminate(), n, and type.
Referenced by isl::point::eliminate().
Definition at line 9232 of file isl-noexceptions.h.
References isl::set::every_set(), and test.
Referenced by isl::point::every_set().
|
inline |
Definition at line 9237 of file isl-noexceptions.h.
References isl::set::extract_set().
Referenced by isl::point::extract_set().
Definition at line 9242 of file isl-noexceptions.h.
References isl::set::find_dim_by_id(), and type.
Referenced by isl::point::find_dim_by_id(), and find_dim_by_id().
|
inline |
Definition at line 9247 of file isl-noexceptions.h.
References ctx(), and find_dim_by_id().
|
inline |
Definition at line 9252 of file isl-noexceptions.h.
References copy(), isl_basic_set_fix_si(), manage, pos(), res, and type.
Referenced by isl::point::fix_si(), and polly::ScopBuilder::foldSizeConstantsToRight().
|
inline |
Definition at line 9258 of file isl-noexceptions.h.
References copy(), isl_basic_set_fix_val(), manage, pos(), isl::val::release(), res, and type.
Referenced by isl::point::fix_val(), fix_val(), and recursiveExpand().
|
inline |
Definition at line 9264 of file isl-noexceptions.h.
|
inline |
Definition at line 9269 of file isl-noexceptions.h.
References copy(), isl_basic_set_flatten(), manage, and res.
Referenced by isl::point::flatten().
|
inline |
Definition at line 9275 of file isl-noexceptions.h.
References fn, and isl::set::foreach_basic_set().
Referenced by isl::point::foreach_basic_set().
|
inline |
Definition at line 9280 of file isl-noexceptions.h.
References fn, and isl::set::foreach_point().
Referenced by isl::point::foreach_point().
Definition at line 9285 of file isl-noexceptions.h.
References fn, and isl::set::foreach_set().
Referenced by isl::point::foreach_set().
|
inline |
Definition at line 9063 of file isl-noexceptions.h.
References ptr.
Referenced by dim(), div(), is_bounded(), is_empty(), is_equal(), is_subset(), is_wrapping(), and space().
|
inline |
Definition at line 9217 of file isl-noexceptions.h.
References isl::div, and pos().
Referenced by polly::ScopBuilder::foldSizeConstantsToRight().
|
inline |
Definition at line 9710 of file isl-noexceptions.h.
References space().
|
inline |
Definition at line 9306 of file isl-noexceptions.h.
Definition at line 9296 of file isl-noexceptions.h.
References context, and isl::set::gist().
|
inline |
Definition at line 9301 of file isl-noexceptions.h.
References context, and isl::set::gist().
|
inline |
Definition at line 9290 of file isl-noexceptions.h.
References context, copy(), isl_basic_set_gist(), manage, and res.
Referenced by isl::point::gist().
Definition at line 9311 of file isl-noexceptions.h.
References context, and isl::set::gist_params().
Referenced by isl::point::gist_params().
Definition at line 9316 of file isl-noexceptions.h.
References isl::set::has_equal_space(), and set2.
Referenced by isl::point::has_equal_space().
|
inline |
Definition at line 9321 of file isl-noexceptions.h.
References isl::set::identity().
Referenced by isl::point::identity().
|
inline |
Definition at line 9326 of file isl-noexceptions.h.
References isl::set::identity_union_pw_multi_aff().
Referenced by isl::point::identity_union_pw_multi_aff().
|
inline |
Definition at line 9331 of file isl-noexceptions.h.
References isl::set::indicator_function().
Referenced by isl::point::indicator_function().
|
inline |
Definition at line 9336 of file isl-noexceptions.h.
References isl::set::insert_dims(), n, pos(), and type.
Referenced by isl::point::insert_dims().
|
inline |
Definition at line 9341 of file isl-noexceptions.h.
References domain, and isl::set::insert_domain().
Referenced by isl::point::insert_domain().
|
inline |
Definition at line 9362 of file isl-noexceptions.h.
References intersect().
Definition at line 9352 of file isl-noexceptions.h.
References isl::set::intersect(), and set2.
|
inline |
Definition at line 9357 of file isl-noexceptions.h.
References isl::set::intersect().
|
inline |
Definition at line 9346 of file isl-noexceptions.h.
References copy(), isl_basic_set_intersect(), manage, release(), and res.
Referenced by isl::point::intersect(), and intersect().
|
inline |
Definition at line 9378 of file isl-noexceptions.h.
References intersect_params().
Definition at line 9373 of file isl-noexceptions.h.
References isl::set::intersect_params(), and params().
|
inline |
Definition at line 9367 of file isl-noexceptions.h.
References copy(), isl_basic_set_intersect_params(), manage, release(), and res.
Referenced by isl::point::intersect_params(), and intersect_params().
|
inline |
Definition at line 9383 of file isl-noexceptions.h.
References isl::set::involves_dims(), n, and type.
Referenced by isl::point::involves_dims().
|
inline |
Definition at line 9388 of file isl-noexceptions.h.
References isl::set::involves_locals().
Referenced by isl::point::involves_locals().
|
inline |
Definition at line 9393 of file isl-noexceptions.h.
References get(), isl_basic_set_is_bounded(), manage, and res.
Referenced by isl::point::is_bounded(), and recursiveExpand().
Definition at line 9399 of file isl-noexceptions.h.
References isl::set::is_disjoint(), and set2.
Referenced by isl::point::is_disjoint().
|
inline |
Definition at line 9404 of file isl-noexceptions.h.
References isl::set::is_disjoint().
|
inline |
Definition at line 9409 of file isl-noexceptions.h.
References get(), isl_basic_set_is_empty(), manage, and res.
Referenced by isl::point::is_empty().
|
inline |
Definition at line 9415 of file isl-noexceptions.h.
References get(), isl_basic_set_is_equal(), manage, and res.
Referenced by polly::ScopBuilder::foldSizeConstantsToRight(), isl::point::is_equal(), and is_equal().
|
inline |
Definition at line 9431 of file isl-noexceptions.h.
References is_equal().
Definition at line 9421 of file isl-noexceptions.h.
References isl::set::is_equal(), and set2.
|
inline |
Definition at line 9426 of file isl-noexceptions.h.
References isl::set::is_equal().
|
inline |
Definition at line 9073 of file isl-noexceptions.h.
References ptr.
|
inline |
Definition at line 9436 of file isl-noexceptions.h.
References isl::set::is_params().
Referenced by isl::point::is_params().
|
inline |
Definition at line 9441 of file isl-noexceptions.h.
References isl::set::is_singleton().
Referenced by isl::point::is_singleton().
Definition at line 9446 of file isl-noexceptions.h.
References isl::set::is_strict_subset(), and set2.
Referenced by isl::point::is_strict_subset().
|
inline |
Definition at line 9451 of file isl-noexceptions.h.
References isl::set::is_strict_subset().
|
inline |
Definition at line 9456 of file isl-noexceptions.h.
References get(), isl_basic_set_is_subset(), manage, and res.
Referenced by isl::point::is_subset(), and is_subset().
|
inline |
Definition at line 9472 of file isl-noexceptions.h.
References is_subset().
Definition at line 9462 of file isl-noexceptions.h.
References isl::set::is_subset(), and set2.
|
inline |
Definition at line 9467 of file isl-noexceptions.h.
References isl::set::is_subset().
|
inline |
Definition at line 9477 of file isl-noexceptions.h.
References get(), isl_basic_set_is_wrapping(), manage, and res.
Referenced by isl::point::is_wrapping().
|
inline |
Definition at line 9483 of file isl-noexceptions.h.
References isl::set::isa_set().
Referenced by isl::point::isa_set().
|
inline |
Definition at line 9488 of file isl-noexceptions.h.
References copy(), isl_basic_set_lexmax(), manage, and res.
Referenced by isl::point::lexmax().
|
inline |
Definition at line 9494 of file isl-noexceptions.h.
References isl::set::lexmax_pw_multi_aff().
Referenced by isl::point::lexmax_pw_multi_aff().
|
inline |
Definition at line 9499 of file isl-noexceptions.h.
References copy(), isl_basic_set_lexmin(), manage, and res.
Referenced by isl::point::lexmin().
|
inline |
Definition at line 9505 of file isl-noexceptions.h.
References isl::set::lexmin_pw_multi_aff().
Referenced by isl::point::lexmin_pw_multi_aff().
|
inline |
Definition at line 9510 of file isl-noexceptions.h.
References isl::set::lower_bound().
Referenced by isl::point::lower_bound().
|
inline |
Definition at line 9515 of file isl-noexceptions.h.
References isl::set::lower_bound().
Definition at line 9520 of file isl-noexceptions.h.
References isl::set::lower_bound_si(), pos(), and type.
Referenced by isl::point::lower_bound_si().
|
inline |
Definition at line 9525 of file isl-noexceptions.h.
References isl::set::lower_bound_val(), pos(), and type.
Referenced by isl::point::lower_bound_val(), and lower_bound_val().
|
inline |
Definition at line 9530 of file isl-noexceptions.h.
References ctx(), lower_bound_val(), and pos().
|
inline |
Definition at line 9535 of file isl-noexceptions.h.
References isl::set::max_multi_pw_aff().
Referenced by isl::point::max_multi_pw_aff().
Definition at line 9540 of file isl-noexceptions.h.
References isl::set::max_val(), and obj.
Referenced by isl::point::max_val().
|
inline |
Definition at line 9545 of file isl-noexceptions.h.
References isl::set::min_multi_pw_aff().
Referenced by isl::point::min_multi_pw_aff().
Definition at line 9550 of file isl-noexceptions.h.
References isl::set::min_val(), and obj.
Referenced by isl::point::min_val().
|
inline |
Definition at line 9555 of file isl-noexceptions.h.
References isl::set::n_basic_set().
Referenced by isl::point::n_basic_set().
Definition at line 9049 of file isl-noexceptions.h.
References obj.
|
inline |
Definition at line 9560 of file isl-noexceptions.h.
References copy(), isl_basic_set_params(), manage, and res.
Referenced by intersect_params(), and isl::point::params().
Definition at line 9566 of file isl-noexceptions.h.
References isl::set::plain_get_val_if_fixed(), pos(), and type.
Referenced by isl::point::plain_get_val_if_fixed().
|
inline |
Definition at line 9571 of file isl-noexceptions.h.
References isl::set::plain_multi_val_if_fixed().
Referenced by isl::point::plain_multi_val_if_fixed().
|
inline |
Definition at line 9576 of file isl-noexceptions.h.
References isl::set::polyhedral_hull().
Referenced by isl::point::polyhedral_hull().
|
inline |
Definition at line 9581 of file isl-noexceptions.h.
References ma, and isl::set::preimage().
Referenced by isl::point::preimage().
|
inline |
Definition at line 9586 of file isl-noexceptions.h.
References isl::set::preimage().
|
inline |
Definition at line 9591 of file isl-noexceptions.h.
References pma, and isl::set::preimage().
|
inline |
Definition at line 9596 of file isl-noexceptions.h.
References isl::set::preimage().
Definition at line 9601 of file isl-noexceptions.h.
References isl::set::product(), and set2.
Referenced by isl::point::product().
|
inline |
Definition at line 9606 of file isl-noexceptions.h.
References copy(), isl_basic_set_project_out(), manage, n, res, and type.
Referenced by isl::point::project_out(), and recursiveExpand().
|
inline |
Definition at line 9612 of file isl-noexceptions.h.
References isl::set::project_out_all_params().
Referenced by isl::point::project_out_all_params().
Definition at line 9617 of file isl-noexceptions.h.
References isl::set::project_out_param().
Referenced by isl::point::project_out_param(), and project_out_param().
|
inline |
Definition at line 9627 of file isl-noexceptions.h.
References isl::set::project_out_param().
|
inline |
Definition at line 9622 of file isl-noexceptions.h.
References ctx(), and project_out_param().
|
inline |
Definition at line 9632 of file isl-noexceptions.h.
References isl::set::pw_multi_aff_on_domain().
Referenced by isl::point::pw_multi_aff_on_domain().
|
inline |
Definition at line 9067 of file isl-noexceptions.h.
References ptr.
Referenced by isl::basic_set_list::add(), isl::basic_set_list::basic_set_list(), isl::basic_map::from_domain_and_range(), isl::basic_set_list::insert(), intersect(), isl::basic_map::intersect_domain(), intersect_params(), isl::basic_map::intersect_range(), isl::set::set(), isl::union_set::union_set(), and unite().
|
inline |
Definition at line 9637 of file isl-noexceptions.h.
References n, isl::set::remove_dims(), and type.
Referenced by isl::point::remove_dims().
|
inline |
Definition at line 9642 of file isl-noexceptions.h.
References isl::set::remove_divs().
Referenced by isl::point::remove_divs().
|
inline |
Definition at line 9647 of file isl-noexceptions.h.
References isl::set::remove_redundancies().
Referenced by isl::point::remove_redundancies().
|
inline |
Definition at line 9652 of file isl-noexceptions.h.
References isl::set::reset_tuple_id().
Referenced by isl::point::reset_tuple_id().
|
inline |
Definition at line 9657 of file isl-noexceptions.h.
References copy(), isl_basic_set_sample(), manage, and res.
Referenced by isl::point::sample().
|
inline |
Definition at line 9663 of file isl-noexceptions.h.
References copy(), isl_basic_set_sample_point(), manage, and res.
Referenced by isl::point::sample_point().
|
inline |
Definition at line 9669 of file isl-noexceptions.h.
References pos(), isl::set::set_dim_id(), and type.
Referenced by isl::point::set_dim_id(), and set_dim_id().
|
inline |
Definition at line 9674 of file isl-noexceptions.h.
References ctx(), pos(), and set_dim_id().
|
inline |
Definition at line 9679 of file isl-noexceptions.h.
References isl::set::set_list().
Referenced by isl::point::set_list().
Definition at line 9684 of file isl-noexceptions.h.
References isl::set::set_tuple_id().
Referenced by isl::point::set_tuple_id(), and set_tuple_id().
|
inline |
Definition at line 9689 of file isl-noexceptions.h.
References ctx(), and set_tuple_id().
|
inline |
Definition at line 9694 of file isl-noexceptions.h.
References isl::set::simple_fixed_box_hull().
Referenced by isl::point::simple_fixed_box_hull().
|
inline |
Definition at line 9699 of file isl-noexceptions.h.
References isl::set::simple_hull().
Referenced by isl::point::simple_hull().
|
inline |
Definition at line 9704 of file isl-noexceptions.h.
References get(), isl_basic_set_get_space(), manage, and res.
Referenced by get_space(), and isl::point::space().
|
inline |
Definition at line 9715 of file isl-noexceptions.h.
References pos(), and isl::set::stride().
Referenced by isl::point::stride().
Definition at line 9720 of file isl-noexceptions.h.
References set2, and isl::set::subtract().
Referenced by isl::point::subtract().
|
inline |
Definition at line 9725 of file isl-noexceptions.h.
References isl::set::subtract().
|
inline |
Definition at line 9730 of file isl-noexceptions.h.
References copy(), manage, and res.
Referenced by isl::point::to_list().
|
inline |
Definition at line 9736 of file isl-noexceptions.h.
References copy(), isl_basic_set_to_set(), manage, and res.
|
inline |
Definition at line 9742 of file isl-noexceptions.h.
References isl::set::to_union_set().
Referenced by isl::point::to_union_set().
|
inline |
Definition at line 9747 of file isl-noexceptions.h.
References isl::set::translation().
Referenced by isl::point::translation().
|
inline |
Definition at line 9752 of file isl-noexceptions.h.
References isl::set::tuple_dim().
Referenced by isl::point::tuple_dim().
|
inline |
Definition at line 9757 of file isl-noexceptions.h.
References isl::set::tuple_id().
Referenced by isl::point::tuple_id().
|
inline |
Definition at line 9762 of file isl-noexceptions.h.
References isl::set::tuple_name().
Referenced by isl::point::tuple_name().
|
inline |
Definition at line 9767 of file isl-noexceptions.h.
References tuple, and isl::set::unbind_params().
Referenced by isl::point::unbind_params().
|
inline |
Definition at line 9772 of file isl-noexceptions.h.
References domain, and isl::set::unbind_params_insert_domain().
Referenced by isl::point::unbind_params_insert_domain().
|
inline |
Definition at line 9793 of file isl-noexceptions.h.
References unite().
Definition at line 9783 of file isl-noexceptions.h.
References set2, and isl::set::unite().
|
inline |
Definition at line 9788 of file isl-noexceptions.h.
References isl::set::unite().
|
inline |
Definition at line 9777 of file isl-noexceptions.h.
References copy(), isl_basic_set_union(), manage, release(), and res.
Referenced by isl::point::unite(), and unite().
|
inlinestatic |
Definition at line 9798 of file isl-noexceptions.h.
References isl_basic_set_universe(), manage, isl::space::release(), and res.
Referenced by polly::MemoryAccess::createBasicAccessMap().
|
inline |
Definition at line 9804 of file isl-noexceptions.h.
References isl::set::unshifted_simple_hull().
Referenced by isl::point::unshifted_simple_hull().
|
inline |
Definition at line 9809 of file isl-noexceptions.h.
References isl::set::unwrap().
Referenced by printSortedPolyhedra(), and isl::point::unwrap().
|
inline |
Definition at line 9814 of file isl-noexceptions.h.
References isl::set::upper_bound().
Referenced by isl::point::upper_bound().
|
inline |
Definition at line 9819 of file isl-noexceptions.h.
References isl::set::upper_bound().
|
inline |
Definition at line 9824 of file isl-noexceptions.h.
References pos(), type, and isl::set::upper_bound_val().
Referenced by isl::point::upper_bound_val(), and upper_bound_val().
|
inline |
Definition at line 9829 of file isl-noexceptions.h.
References ctx(), pos(), and upper_bound_val().
|
friend |
Definition at line 9017 of file isl-noexceptions.h.
Referenced by affine_hull(), apply(), detect_equalities(), dim(), dim_max_val(), div(), fix_si(), fix_val(), flatten(), gist(), intersect(), intersect_params(), is_bounded(), is_empty(), is_equal(), is_subset(), is_wrapping(), lexmax(), lexmin(), params(), project_out(), sample(), sample_point(), space(), to_list(), to_set(), unite(), and universe().
|
friend |
Definition at line 9020 of file isl-noexceptions.h.
|
protected |
Definition at line 1674 of file isl-noexceptions.h.
Referenced by basic_set(), copy(), ctx(), get(), is_null(), release(), and ~basic_set().