#include <cpp-checked.h>
Static Public Member Functions | |
| static isl::checked::union_map | empty (isl::checked::ctx ctx) |
| static isl::checked::union_map | from (isl::checked::multi_union_pw_aff mupa) |
| static isl::checked::union_map | from (isl::checked::union_pw_multi_aff upma) |
| static isl::checked::union_map | from_domain (isl::checked::union_set uset) |
| static isl::checked::union_map | from_domain_and_range (isl::checked::union_set domain, isl::checked::union_set range) |
| static isl::checked::union_map | from_range (isl::checked::union_set uset) |
Protected Member Functions | |
| union_map (__isl_take isl_union_map *ptr) | |
Protected Attributes | |
| isl_union_map * | ptr = nullptr |
Friends | |
| union_map | manage (__isl_take isl_union_map *ptr) |
| union_map | manage_copy (__isl_keep isl_union_map *ptr) |
Detailed Description
Definition at line 3934 of file cpp-checked.h.
Constructor & Destructor Documentation
◆ union_map() [1/6]
|
inlineexplicitprotected |
Definition at line 18470 of file cpp-checked.h.
References __isl_take, and ptr.
Referenced by copy(), manage, manage_copy, operator=(), and union_map().
◆ union_map() [2/6]
|
inline |
Definition at line 18473 of file cpp-checked.h.
References ptr.
◆ union_map() [3/6]
|
inline |
Definition at line 18476 of file cpp-checked.h.
References obj, ptr, and union_map().
◆ union_map() [4/6]
|
inline |
Definition at line 18482 of file cpp-checked.h.
References isl_union_map_from_basic_map(), ptr, isl::checked::basic_map::release(), and res.
◆ union_map() [5/6]
|
inline |
Definition at line 18488 of file cpp-checked.h.
References isl_union_map_from_map(), ptr, isl::checked::map::release(), and res.
◆ union_map() [6/6]
|
inlineexplicit |
Definition at line 18494 of file cpp-checked.h.
References ctx(), isl_union_map_read_from_str(), ptr, res, and str.
◆ ~union_map()
|
inline |
Definition at line 18505 of file cpp-checked.h.
References isl_union_map_free(), and ptr.
Member Function Documentation
◆ affine_hull()
|
inline |
Definition at line 18532 of file cpp-checked.h.
References copy(), isl_union_map_affine_hull(), manage, and res.
Referenced by copy().
◆ apply_domain()
|
inline |
Definition at line 18538 of file cpp-checked.h.
References copy(), isl_union_map_apply_domain(), manage, release(), and res.
Referenced by polly::ZoneAlgorithm::addArrayWriteAccess(), isl::checked::map::apply_domain(), polly::applyDomainRange(), polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::ZoneAlgorithm::computeNormalizedPHIs(), polly::computeReachingWrite(), and copy().
◆ apply_range()
|
inline |
Definition at line 18544 of file cpp-checked.h.
References copy(), isl_union_map_apply_range(), manage, release(), and res.
Referenced by isl::checked::map::apply_range(), polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::ZoneAlgorithm::computeKnownFromMustWrites(), polly::ZoneAlgorithm::computeNormalizedPHIs(), polly::ZoneAlgorithm::computePerPHI(), polly::computeReachingWrite(), copy(), and normalizeValInst().
◆ as_map()
|
inline |
Definition at line 18550 of file cpp-checked.h.
References copy(), isl_union_map_as_map(), manage, and res.
Referenced by isl::checked::map::as_map(), and copy().
◆ as_multi_union_pw_aff()
|
inline |
Definition at line 18556 of file cpp-checked.h.
References copy(), isl_union_map_as_multi_union_pw_aff(), manage, and res.
Referenced by isl::checked::map::as_multi_union_pw_aff(), and copy().
◆ as_union_pw_multi_aff()
|
inline |
Definition at line 18562 of file cpp-checked.h.
References copy(), isl_union_map_as_union_pw_multi_aff(), manage, and res.
Referenced by isl::checked::map::as_union_pw_multi_aff(), and copy().
◆ bind_range()
|
inline |
Definition at line 18568 of file cpp-checked.h.
References copy(), isl_union_map_bind_range(), manage, res, and tuple.
Referenced by copy().
◆ coalesce()
|
inline |
Definition at line 18574 of file cpp-checked.h.
References copy(), isl_union_map_coalesce(), manage, and res.
Referenced by polly::computeReachingWrite(), copy(), polly::Scop::getAccessesOfType(), polly::Dependences::getDependences(), and polly::simplify().
◆ compute_divs()
|
inline |
Definition at line 18580 of file cpp-checked.h.
References copy(), isl_union_map_compute_divs(), manage, and res.
Referenced by isl::checked::map::compute_divs(), and copy().
◆ copy() [1/2]
|
inlinedelete |
References __isl_give, __isl_keep, __isl_take, affine_hull(), apply_domain(), apply_range(), as_map(), as_multi_union_pw_aff(), as_union_pw_multi_aff(), bind_range(), coalesce(), compute_divs(), context, copy(), ctx(), curry(), deltas(), detect_equalities(), domain(), domain_factor_domain(), domain_factor_range(), domain_map(), domain_map_union_pw_multi_aff(), domain_product(), domain_reverse(), drop_unused_params(), empty(), eq_at(), every_map(), extract_map(), factor_domain(), factor_range(), fixed_power(), fn, foreach_map(), from(), from_domain(), from_domain_and_range(), from_range(), get(), get_map_list(), get_space(), gist(), gist_domain(), gist_params(), gist_range(), intersect(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_domain_wrapped_domain(), intersect_params(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), intersect_range_wrapped_domain(), is_bijective(), is_disjoint(), is_empty(), is_equal(), is_injective(), is_null(), is_single_valued(), is_strict_subset(), is_subset(), isa_map(), lexmax(), lexmin(), ma, manage, manage_copy, map_list(), mupa, params(), pma, polyhedral_hull(), preimage_domain(), preimage_range(), product(), project_out_all_params(), project_out_param(), ptr, range(), range_factor_domain(), range_factor_range(), range_map(), range_product(), range_reverse(), release(), reverse(), space(), subtract(), subtract_domain(), subtract_range(), test, tuple, uncurry(), union_map(), unite(), universe(), wrap(), and zip().
◆ copy() [2/2]
|
inline |
Definition at line 18510 of file cpp-checked.h.
References __isl_give, isl_union_map_copy(), and ptr.
Referenced by affine_hull(), apply_domain(), apply_range(), as_map(), as_multi_union_pw_aff(), as_union_pw_multi_aff(), bind_range(), coalesce(), compute_divs(), copy(), curry(), deltas(), detect_equalities(), domain(), domain_factor_domain(), domain_factor_range(), domain_map(), domain_map_union_pw_multi_aff(), domain_product(), domain_reverse(), drop_unused_params(), eq_at(), factor_domain(), factor_range(), fixed_power(), isl::union_map::flat_range_product(), gist(), gist_domain(), gist_params(), gist_range(), intersect(), intersect_domain(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_domain_wrapped_domain(), intersect_params(), intersect_range(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), intersect_range_wrapped_domain(), lexmax(), lexmin(), params(), polyhedral_hull(), preimage_domain(), preimage_domain(), preimage_domain(), preimage_domain(), preimage_range(), preimage_range(), preimage_range(), product(), project_out_all_params(), project_out_param(), project_out_param(), range(), range_factor_domain(), range_factor_range(), range_map(), range_product(), range_reverse(), reverse(), polly::simplify(), subtract(), subtract_domain(), subtract_range(), uncurry(), unite(), universe(), wrap(), and zip().
◆ ctx()
|
inline |
Definition at line 18528 of file cpp-checked.h.
References isl_union_map_get_ctx(), and ptr.
Referenced by polly::afterScatter(), polly::beforeScatter(), copy(), polly::distributeDomain(), empty(), isl::typed::union_map< Domain, Domain >::empty(), isl::typed::union_map< Domain, pair< Range, Range2 > >::empty(), isl::typed::union_map< Domain, Range >::empty(), isl::typed::union_map< pair< Domain, Range >, Range2 >::empty(), isl::typed::union_map< pair< T1, T2 >, pair< Range, Range2 > >::empty(), isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::empty(), polly::filterKnownValInst(), fixed_power(), normalizeValInst(), project_out_param(), polly::reverseDomain(), polly::shiftDim(), union_map(), isl::typed::union_map< Domain, Domain >::union_map(), isl::typed::union_map< Domain, pair< Range, Range2 > >::union_map(), isl::typed::union_map< Domain, Range >::union_map(), isl::typed::union_map< pair< Domain, Range >, Range2 >::union_map(), isl::typed::union_map< pair< T1, T2 >, pair< Range, Range2 > >::union_map(), and isl::typed::union_map< pair< T1, T2 >, pair< T1, T2 > >::union_map().
◆ curry()
|
inline |
Definition at line 18586 of file cpp-checked.h.
References copy(), isl_union_map_curry(), manage, and res.
Referenced by polly::ZoneAlgorithm::addArrayReadAccess(), polly::ZoneAlgorithm::addArrayWriteAccess(), polly::ZoneAlgorithm::computeKnownFromLoad(), and copy().
◆ deltas()
|
inline |
Definition at line 18592 of file cpp-checked.h.
References copy(), isl_union_map_deltas(), manage, and res.
Referenced by copy().
◆ detect_equalities()
|
inline |
Definition at line 18598 of file cpp-checked.h.
References copy(), isl_union_map_detect_equalities(), manage, and res.
Referenced by copy(), polly::Dependences::getDependences(), and polly::simplify().
◆ domain()
|
inline |
Definition at line 18604 of file cpp-checked.h.
References copy(), isl_union_map_domain(), manage, and res.
Referenced by polly::applyDomainRange(), polly::applyFullUnroll(), polly::applyPartialUnroll(), polly::computeArrayUnused(), copy(), polly::IslNodeBuilder::createNewAccesses(), from_domain_and_range(), polly::IslNodeBuilder::getReferencesInSubtree(), intersect_domain_wrapped_domain(), and intersect_range_wrapped_domain().
◆ domain_factor_domain()
|
inline |
Definition at line 18610 of file cpp-checked.h.
References copy(), isl_union_map_domain_factor_domain(), manage, and res.
Referenced by polly::computeArrayUnused(), and copy().
◆ domain_factor_range()
|
inline |
Definition at line 18616 of file cpp-checked.h.
References copy(), isl_union_map_domain_factor_range(), manage, and res.
Referenced by copy().
◆ domain_map()
|
inline |
Definition at line 18622 of file cpp-checked.h.
References copy(), isl_union_map_domain_map(), manage, and res.
Referenced by polly::ZoneAlgorithm::computeKnownFromLoad(), copy(), and isl::checked::map::domain_map().
◆ domain_map_union_pw_multi_aff()
|
inline |
Definition at line 18628 of file cpp-checked.h.
References copy(), isl_union_map_domain_map_union_pw_multi_aff(), manage, and res.
Referenced by copy(), and isl::checked::map::domain_map_union_pw_multi_aff().
◆ domain_product()
|
inline |
Definition at line 18634 of file cpp-checked.h.
References copy(), isl_union_map_domain_product(), manage, release(), and res.
Referenced by copy(), and isl::checked::map::domain_product().
◆ domain_reverse()
|
inline |
Definition at line 18640 of file cpp-checked.h.
References copy(), isl_union_map_domain_reverse(), manage, and res.
Referenced by copy().
◆ drop_unused_params()
|
inline |
Definition at line 18646 of file cpp-checked.h.
References copy(), isl_union_map_drop_unused_params(), manage, and res.
Referenced by copy().
◆ empty()
|
inlinestatic |
Definition at line 18652 of file cpp-checked.h.
References ctx(), isl_union_map_empty_ctx(), manage, and res.
Referenced by copy(), and polly::Dependences::getDependences().
◆ eq_at()
|
inline |
Definition at line 18658 of file cpp-checked.h.
References copy(), isl_union_map_eq_at_multi_union_pw_aff(), manage, mupa, and res.
Referenced by copy(), and isl::checked::map::eq_at().
◆ every_map()
|
inline |
Definition at line 18664 of file cpp-checked.h.
References get(), isl_union_map_every_map(), manage, manage_copy, res, and test.
Referenced by copy(), isl::checked::map::every_map(), isl::map::every_map(), and isl::map::every_map().
◆ extract_map()
|
inline |
Definition at line 18678 of file cpp-checked.h.
References get(), isl_union_map_extract_map(), manage, res, and space().
Referenced by copy(), and isl::checked::map::extract_map().
◆ factor_domain()
|
inline |
Definition at line 18684 of file cpp-checked.h.
References copy(), isl_union_map_factor_domain(), manage, and res.
Referenced by copy().
◆ factor_range()
|
inline |
Definition at line 18690 of file cpp-checked.h.
References copy(), isl_union_map_factor_range(), manage, and res.
Referenced by copy().
◆ fixed_power() [1/2]
|
inline |
Definition at line 18696 of file cpp-checked.h.
References copy(), isl_union_map_fixed_power_val(), manage, isl::checked::val::release(), and res.
Referenced by copy(), fixed_power(), and isl::map::fixed_power().
◆ fixed_power() [2/2]
|
inline |
Definition at line 18702 of file cpp-checked.h.
References ctx(), and fixed_power().
◆ foreach_map()
|
inline |
Definition at line 18707 of file cpp-checked.h.
References fn, get(), isl_union_map_foreach_map(), manage, and res.
Referenced by copy(), isl::checked::map::foreach_map(), isl::map::foreach_map(), and isl::map::foreach_map().
◆ from() [1/2]
|
inlinestatic |
Definition at line 18721 of file cpp-checked.h.
References isl_union_map_from_multi_union_pw_aff(), manage, mupa, and res.
Referenced by copy().
◆ from() [2/2]
|
inlinestatic |
Definition at line 18727 of file cpp-checked.h.
References isl_union_map_from_union_pw_multi_aff(), manage, isl::checked::union_pw_multi_aff::release(), and res.
◆ from_domain()
|
inlinestatic |
Definition at line 18733 of file cpp-checked.h.
References isl_union_map_from_domain(), manage, isl::checked::union_set::release(), and res.
Referenced by copy().
◆ from_domain_and_range()
|
inlinestatic |
Definition at line 18739 of file cpp-checked.h.
References domain(), isl_union_map_from_domain_and_range(), manage, range(), and res.
Referenced by copy().
◆ from_range()
|
inlinestatic |
Definition at line 18745 of file cpp-checked.h.
References isl_union_map_from_range(), manage, isl::checked::union_set::release(), and res.
Referenced by copy().
◆ get()
|
inline |
Definition at line 18514 of file cpp-checked.h.
References __isl_keep, and ptr.
Referenced by astScheduleDimIsParallel(), copy(), every_map(), isl::union_map::every_map(), extract_map(), foreach_map(), isl::union_map::foreach_map(), is_bijective(), is_disjoint(), is_empty(), is_equal(), is_injective(), is_single_valued(), is_strict_subset(), is_subset(), isa_map(), map_list(), polly::singleton(), and space().
◆ get_map_list()
|
inline |
Definition at line 18919 of file cpp-checked.h.
References map_list().
Referenced by polly::afterScatter(), polly::beforeScatter(), copy(), polly::distributeDomain(), polly::filterKnownValInst(), polly::getNumScatterDims(), polly::ZoneAlgorithm::isNormalized(), polly::Dependences::isValidSchedule(), normalizeValInst(), polly::reverseDomain(), and polly::shiftDim().
◆ get_space()
|
inline |
Definition at line 19055 of file cpp-checked.h.
References space().
Referenced by copy(), and polly::getScatterSpace().
◆ gist()
|
inline |
Definition at line 18751 of file cpp-checked.h.
References context, copy(), isl_union_map_gist(), manage, and res.
Referenced by copy(), and isl::checked::map::gist().
◆ gist_domain()
|
inline |
Definition at line 18757 of file cpp-checked.h.
References copy(), isl_union_map_gist_domain(), manage, isl::checked::union_set::release(), and res.
Referenced by copy(), and isl::checked::map::gist_domain().
◆ gist_params()
|
inline |
Definition at line 18763 of file cpp-checked.h.
References copy(), isl_union_map_gist_params(), manage, isl::checked::set::release(), and res.
Referenced by copy().
◆ gist_range()
|
inline |
Definition at line 18769 of file cpp-checked.h.
References copy(), isl_union_map_gist_range(), manage, isl::checked::union_set::release(), and res.
Referenced by copy(), and isl::checked::map::gist_range().
◆ intersect()
|
inline |
Definition at line 18775 of file cpp-checked.h.
References copy(), isl_union_map_intersect(), manage, release(), and res.
Referenced by polly::betweenScatter(), polly::convertZoneToTimepoints(), copy(), and isl::checked::map::intersect().
◆ intersect_domain() [1/2]
|
inline |
Definition at line 18781 of file cpp-checked.h.
References copy(), isl_union_map_intersect_domain_space(), manage, res, and space().
Referenced by polly::MemoryAccess::applyScheduleToAccessRelation(), polly::BlockGenerator::buildContainsCondition(), polly::ScopBuilder::calculateMinMaxAccess(), polly::computeArrayUnused(), copy(), polly::BlockGenerator::generateBeginStmtTrace(), polly::ScopStmt::getSchedule(), isl::checked::map::intersect_domain(), and isl::checked::map::intersect_domain().
◆ intersect_domain() [2/2]
|
inline |
Definition at line 18787 of file cpp-checked.h.
References copy(), isl_union_map_intersect_domain_union_set(), manage, isl::checked::union_set::release(), and res.
◆ intersect_domain_factor_domain()
|
inline |
Definition at line 18793 of file cpp-checked.h.
References copy(), isl_union_map_intersect_domain_factor_domain(), manage, release(), and res.
Referenced by copy(), and isl::checked::map::intersect_domain_factor_domain().
◆ intersect_domain_factor_range()
|
inline |
Definition at line 18799 of file cpp-checked.h.
References copy(), isl_union_map_intersect_domain_factor_range(), manage, release(), and res.
Referenced by copy(), and isl::checked::map::intersect_domain_factor_range().
◆ intersect_domain_wrapped_domain()
|
inline |
Definition at line 18805 of file cpp-checked.h.
References copy(), domain(), isl_union_map_intersect_domain_wrapped_domain_union_set(), manage, and res.
Referenced by copy(), and isl::checked::map::intersect_domain_wrapped_domain().
◆ intersect_params()
|
inline |
Definition at line 18811 of file cpp-checked.h.
References copy(), isl_union_map_intersect_params(), manage, isl::checked::set::release(), and res.
Referenced by copy().
◆ intersect_range() [1/2]
|
inline |
Definition at line 18817 of file cpp-checked.h.
References copy(), isl_union_map_intersect_range_space(), manage, res, and space().
Referenced by polly::applyFullUnroll(), polly::applyPartialUnroll(), copy(), polly::ScopBuilder::getNonHoistableCtx(), isl::checked::map::intersect_range(), and isl::checked::map::intersect_range().
◆ intersect_range() [2/2]
|
inline |
Definition at line 18823 of file cpp-checked.h.
References copy(), isl_union_map_intersect_range_union_set(), manage, isl::checked::union_set::release(), and res.
◆ intersect_range_factor_domain()
|
inline |
Definition at line 18829 of file cpp-checked.h.
References copy(), isl_union_map_intersect_range_factor_domain(), manage, release(), and res.
Referenced by copy(), and isl::checked::map::intersect_range_factor_domain().
◆ intersect_range_factor_range()
|
inline |
Definition at line 18835 of file cpp-checked.h.
References copy(), isl_union_map_intersect_range_factor_range(), manage, release(), and res.
Referenced by copy(), and isl::checked::map::intersect_range_factor_range().
◆ intersect_range_wrapped_domain()
|
inline |
Definition at line 18841 of file cpp-checked.h.
References copy(), domain(), isl_union_map_intersect_range_wrapped_domain_union_set(), manage, and res.
Referenced by copy(), and isl::checked::map::intersect_range_wrapped_domain().
◆ is_bijective()
|
inline |
Definition at line 18847 of file cpp-checked.h.
References get(), isl_union_map_is_bijective(), manage, and res.
Referenced by copy().
◆ is_disjoint()
|
inline |
Definition at line 18853 of file cpp-checked.h.
References get(), isl_union_map_is_disjoint(), manage, and res.
Referenced by copy(), and isl::checked::map::is_disjoint().
◆ is_empty()
|
inline |
Definition at line 18859 of file cpp-checked.h.
References get(), isl_union_map_is_empty(), manage, and res.
Referenced by polly::BlockGenerator::buildContainsCondition(), and copy().
◆ is_equal()
|
inline |
Definition at line 18865 of file cpp-checked.h.
References get(), isl_union_map_is_equal(), manage, and res.
Referenced by copy(), and isl::checked::map::is_equal().
◆ is_injective()
|
inline |
Definition at line 18871 of file cpp-checked.h.
References get(), isl_union_map_is_injective(), manage, and res.
Referenced by polly::ZoneAlgorithm::computePerPHI(), and copy().
◆ is_null()
|
inline |
Definition at line 18524 of file cpp-checked.h.
References ptr.
Referenced by polly::ZoneAlgorithm::addArrayWriteAccess(), polly::ZoneAlgorithm::computeNormalizedPHIs(), copy(), polly::getScatterSpace(), and polly::singleton().
◆ is_single_valued()
|
inline |
Definition at line 18877 of file cpp-checked.h.
References get(), isl_union_map_is_single_valued(), manage, and res.
Referenced by polly::ZoneAlgorithm::computeNormalizedPHIs(), polly::ZoneAlgorithm::computePerPHI(), and copy().
◆ is_strict_subset()
|
inline |
Definition at line 18883 of file cpp-checked.h.
References get(), isl_union_map_is_strict_subset(), manage, and res.
Referenced by copy(), and isl::checked::map::is_strict_subset().
◆ is_subset()
|
inline |
Definition at line 18889 of file cpp-checked.h.
References get(), isl_union_map_is_subset(), manage, and res.
Referenced by copy(), and isl::checked::map::is_subset().
◆ isa_map()
|
inline |
Definition at line 18895 of file cpp-checked.h.
References get(), isl_union_map_isa_map(), manage, and res.
Referenced by copy(), and isl::checked::map::isa_map().
◆ lexmax()
|
inline |
Definition at line 18901 of file cpp-checked.h.
References copy(), isl_union_map_lexmax(), manage, and res.
Referenced by polly::computeArrayUnused(), polly::computeReachingWrite(), and copy().
◆ lexmin()
|
inline |
Definition at line 18907 of file cpp-checked.h.
References copy(), isl_union_map_lexmin(), manage, and res.
Referenced by polly::computeReachingWrite(), and copy().
◆ map_list()
|
inline |
Definition at line 18913 of file cpp-checked.h.
References get(), isl_union_map_get_map_list(), manage, and res.
Referenced by copy(), get_map_list(), and isl::checked::map::map_list().
◆ operator=()
Definition at line 18500 of file cpp-checked.h.
References obj, and union_map().
◆ params()
|
inline |
Definition at line 18924 of file cpp-checked.h.
References copy(), isl_union_map_params(), manage, and res.
Referenced by copy(), and polly::ScopBuilder::getNonHoistableCtx().
◆ polyhedral_hull()
|
inline |
Definition at line 18930 of file cpp-checked.h.
References copy(), isl_union_map_polyhedral_hull(), manage, and res.
Referenced by copy().
◆ preimage_domain() [1/4]
|
inline |
Definition at line 18936 of file cpp-checked.h.
References copy(), isl_union_map_preimage_domain_multi_aff(), ma, manage, and res.
Referenced by copy(), and isl::checked::map::preimage_domain().
◆ preimage_domain() [2/4]
|
inline |
Definition at line 18942 of file cpp-checked.h.
References copy(), isl_union_map_preimage_domain_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
◆ preimage_domain() [3/4]
|
inline |
Definition at line 18948 of file cpp-checked.h.
References copy(), isl_union_map_preimage_domain_pw_multi_aff(), manage, pma, and res.
◆ preimage_domain() [4/4]
|
inline |
Definition at line 18954 of file cpp-checked.h.
References copy(), isl_union_map_preimage_domain_union_pw_multi_aff(), manage, isl::checked::union_pw_multi_aff::release(), and res.
◆ preimage_range() [1/3]
|
inline |
Definition at line 18960 of file cpp-checked.h.
References copy(), isl_union_map_preimage_range_multi_aff(), ma, manage, and res.
Referenced by copy(), and isl::checked::map::preimage_range().
◆ preimage_range() [2/3]
|
inline |
Definition at line 18966 of file cpp-checked.h.
References copy(), isl_union_map_preimage_range_pw_multi_aff(), manage, pma, and res.
◆ preimage_range() [3/3]
|
inline |
Definition at line 18972 of file cpp-checked.h.
References copy(), isl_union_map_preimage_range_union_pw_multi_aff(), manage, isl::checked::union_pw_multi_aff::release(), and res.
◆ product()
|
inline |
Definition at line 18978 of file cpp-checked.h.
References copy(), isl_union_map_product(), manage, release(), and res.
Referenced by copy(), polly::liftDomains(), and isl::checked::map::product().
◆ project_out_all_params()
|
inline |
Definition at line 18984 of file cpp-checked.h.
References copy(), isl_union_map_project_out_all_params(), manage, and res.
Referenced by copy().
◆ project_out_param() [1/3]
|
inline |
Definition at line 18996 of file cpp-checked.h.
References ctx(), and project_out_param().
◆ project_out_param() [2/3]
|
inline |
Definition at line 18990 of file cpp-checked.h.
References copy(), isl_union_map_project_out_param_id(), manage, release(), and res.
Referenced by copy(), and project_out_param().
◆ project_out_param() [3/3]
|
inline |
Definition at line 19001 of file cpp-checked.h.
References copy(), isl_union_map_project_out_param_id_list(), manage, isl::checked::id_list::release(), and res.
◆ range()
|
inline |
Definition at line 19007 of file cpp-checked.h.
References copy(), isl_union_map_range(), manage, and res.
Referenced by polly::applyFullUnroll(), polly::ScopBuilder::calculateMinMaxAccess(), polly::ZoneAlgorithm::computePerPHI(), copy(), and from_domain_and_range().
◆ range_factor_domain()
|
inline |
Definition at line 19013 of file cpp-checked.h.
References copy(), isl_union_map_range_factor_domain(), manage, and res.
Referenced by copy().
◆ range_factor_range()
|
inline |
Definition at line 19019 of file cpp-checked.h.
References copy(), isl_union_map_range_factor_range(), manage, and res.
Referenced by copy().
◆ range_map()
|
inline |
Definition at line 19025 of file cpp-checked.h.
References copy(), isl_union_map_range_map(), manage, and res.
Referenced by polly::computeArrayUnused(), polly::computeReachingWrite(), copy(), and isl::checked::map::range_map().
◆ range_product()
|
inline |
Definition at line 19031 of file cpp-checked.h.
References copy(), isl_union_map_range_product(), manage, release(), and res.
Referenced by polly::ZoneAlgorithm::computeKnownFromLoad(), copy(), and isl::checked::map::range_product().
◆ range_reverse()
|
inline |
Definition at line 19037 of file cpp-checked.h.
References copy(), isl_union_map_range_reverse(), manage, and res.
Referenced by copy().
◆ release()
|
inline |
Definition at line 18518 of file cpp-checked.h.
References __isl_give, and ptr.
Referenced by isl::checked::union_set::apply(), apply_domain(), apply_range(), astScheduleDimIsParallel(), copy(), domain_product(), isl::union_map::flat_range_product(), isl::checked::schedule_node::from_extension(), isl::map::from_union_map(), isl::multi_union_pw_aff::from_union_map(), intersect(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_range_factor_domain(), intersect_range_factor_range(), product(), project_out_param(), range_product(), isl::checked::union_access_info::set_kill(), isl::checked::union_access_info::set_may_source(), isl::checked::union_access_info::set_must_source(), isl::checked::union_access_info::set_schedule_map(), subtract(), isl::checked::union_access_info::union_access_info(), isl::union_pw_multi_aff::union_pw_multi_aff(), and unite().
◆ reverse()
|
inline |
Definition at line 19043 of file cpp-checked.h.
References copy(), isl_union_map_reverse(), manage, and res.
Referenced by polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::ZoneAlgorithm::computePerPHI(), polly::computeReachingWrite(), and copy().
◆ space()
|
inline |
Definition at line 19049 of file cpp-checked.h.
References get(), isl_union_map_get_space(), manage, and res.
Referenced by copy(), extract_map(), get_space(), intersect_domain(), and intersect_range().
◆ subtract()
|
inline |
Definition at line 19060 of file cpp-checked.h.
References copy(), isl_union_map_subtract(), manage, release(), and res.
Referenced by polly::computeReachingWrite(), copy(), and isl::checked::map::subtract().
◆ subtract_domain()
|
inline |
Definition at line 19066 of file cpp-checked.h.
References copy(), isl_union_map_subtract_domain(), manage, isl::checked::union_set::release(), and res.
Referenced by polly::computeArrayUnused(), copy(), and isl::checked::map::subtract_domain().
◆ subtract_range()
|
inline |
Definition at line 19072 of file cpp-checked.h.
References copy(), isl_union_map_subtract_range(), manage, isl::checked::union_set::release(), and res.
Referenced by copy(), and isl::checked::map::subtract_range().
◆ uncurry()
|
inline |
Definition at line 19078 of file cpp-checked.h.
References copy(), isl_union_map_uncurry(), manage, and res.
Referenced by polly::computeReachingWrite(), and copy().
◆ unite()
|
inline |
Definition at line 19084 of file cpp-checked.h.
References copy(), isl_union_map_union(), manage, release(), and res.
Referenced by polly::afterScatter(), polly::beforeScatter(), polly::ScopBuilder::calculateMinMaxAccess(), polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnown(), polly::ZoneAlgorithm::computeNormalizedPHIs(), polly::ZoneAlgorithm::computePerPHI(), polly::computeReachingWrite(), polly::convertZoneToTimepoints(), copy(), polly::distributeDomain(), polly::filterKnownValInst(), polly::Scop::getAccessesOfType(), polly::Dependences::getDependences(), polly::Dependences::isValidSchedule(), polly::makeIdentityMap(), normalizeValInst(), polly::reverseDomain(), polly::shiftDim(), and isl::checked::map::unite().
◆ universe()
|
inline |
Definition at line 19090 of file cpp-checked.h.
References copy(), isl_union_map_universe(), manage, and res.
Referenced by copy().
◆ wrap()
|
inline |
Definition at line 19096 of file cpp-checked.h.
References copy(), isl_union_map_wrap(), manage, and res.
Referenced by polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), copy(), polly::dumpExpanded(), and polly::dumpPw().
◆ zip()
|
inline |
Definition at line 19102 of file cpp-checked.h.
References copy(), isl_union_map_zip(), manage, and res.
Referenced by copy().
Friends And Related Symbol Documentation
◆ manage
|
friend |
Definition at line 18462 of file cpp-checked.h.
References __isl_take, ptr, and union_map().
Referenced by affine_hull(), apply_domain(), apply_range(), as_map(), as_multi_union_pw_aff(), as_union_pw_multi_aff(), bind_range(), coalesce(), compute_divs(), copy(), curry(), deltas(), detect_equalities(), domain(), domain_factor_domain(), domain_factor_range(), domain_map(), domain_map_union_pw_multi_aff(), domain_product(), domain_reverse(), drop_unused_params(), empty(), eq_at(), every_map(), isl::union_map::every_map(), extract_map(), factor_domain(), factor_range(), fixed_power(), isl::union_map::flat_range_product(), foreach_map(), isl::union_map::foreach_map(), from(), from(), from_domain(), from_domain_and_range(), from_range(), gist(), gist_domain(), gist_params(), gist_range(), intersect(), intersect_domain(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_domain_wrapped_domain(), intersect_params(), intersect_range(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), intersect_range_wrapped_domain(), is_bijective(), is_disjoint(), is_empty(), is_equal(), is_injective(), is_single_valued(), is_strict_subset(), is_subset(), isa_map(), lexmax(), lexmin(), map_list(), params(), polyhedral_hull(), preimage_domain(), preimage_domain(), preimage_domain(), preimage_domain(), preimage_range(), preimage_range(), preimage_range(), product(), project_out_all_params(), project_out_param(), project_out_param(), range(), range_factor_domain(), range_factor_range(), range_map(), range_product(), range_reverse(), reverse(), space(), subtract(), subtract_domain(), subtract_range(), uncurry(), unite(), universe(), wrap(), and zip().
◆ manage_copy
|
friend |
Definition at line 18465 of file cpp-checked.h.
References __isl_keep, isl_union_map_copy(), ptr, and union_map().
Referenced by copy(), every_map(), and isl::union_map::every_map().
Member Data Documentation
◆ ptr
|
protected |
Definition at line 3939 of file cpp-checked.h.
Referenced by copy(), copy(), ctx(), get(), is_null(), manage, manage_copy, release(), union_map(), union_map(), union_map(), union_map(), union_map(), union_map(), and ~union_map().
The documentation for this class was generated from the following files:
Generated on for Polly by
1.14.0