#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 3932 of file cpp-checked.h.
Constructor & Destructor Documentation
◆ union_map() [1/6]
|
inlineexplicitprotected |
Definition at line 18456 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 18459 of file cpp-checked.h.
References ptr.
◆ union_map() [3/6]
|
inline |
Definition at line 18462 of file cpp-checked.h.
References obj, ptr, and union_map().
◆ union_map() [4/6]
|
inline |
Definition at line 18468 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 18474 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 18480 of file cpp-checked.h.
References ctx(), isl_union_map_read_from_str(), ptr, res, and str.
◆ ~union_map()
|
inline |
Definition at line 18491 of file cpp-checked.h.
References isl_union_map_free(), and ptr.
Member Function Documentation
◆ affine_hull()
|
inline |
Definition at line 18518 of file cpp-checked.h.
References copy(), isl_union_map_affine_hull(), manage, and res.
Referenced by copy().
◆ apply_domain()
|
inline |
Definition at line 18524 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 18530 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 18536 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 18542 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 18548 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 18554 of file cpp-checked.h.
References copy(), isl_union_map_bind_range(), manage, res, and tuple.
Referenced by copy().
◆ coalesce()
|
inline |
Definition at line 18560 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 18566 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 18496 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 18514 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 18572 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 18578 of file cpp-checked.h.
References copy(), isl_union_map_deltas(), manage, and res.
Referenced by copy().
◆ detect_equalities()
|
inline |
Definition at line 18584 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 18590 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 18596 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 18602 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 18608 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 18614 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 18620 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 18626 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 18632 of file cpp-checked.h.
References copy(), isl_union_map_drop_unused_params(), manage, and res.
Referenced by copy().
◆ empty()
|
inlinestatic |
Definition at line 18638 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 18644 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 18650 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 18664 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 18670 of file cpp-checked.h.
References copy(), isl_union_map_factor_domain(), manage, and res.
Referenced by copy().
◆ factor_range()
|
inline |
Definition at line 18676 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 18682 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 18688 of file cpp-checked.h.
References ctx(), and fixed_power().
◆ foreach_map()
|
inline |
Definition at line 18693 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 18707 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 18713 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 18719 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 18725 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 18731 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 18500 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 18905 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 19041 of file cpp-checked.h.
References space().
Referenced by copy(), and polly::getScatterSpace().
◆ gist()
|
inline |
Definition at line 18737 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 18743 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 18749 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 18755 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 18761 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 18767 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 18773 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 18779 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 18785 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 18791 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 18797 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 18803 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 18809 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 18815 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 18821 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 18827 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 18833 of file cpp-checked.h.
References get(), isl_union_map_is_bijective(), manage, and res.
Referenced by copy().
◆ is_disjoint()
|
inline |
Definition at line 18839 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 18845 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 18851 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 18857 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 18510 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 18863 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 18869 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 18875 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 18881 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 18887 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 18893 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 18899 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 18486 of file cpp-checked.h.
References obj, and union_map().
◆ params()
|
inline |
Definition at line 18910 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 18916 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 18922 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 18928 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 18934 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 18940 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 18946 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 18952 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 18958 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 18964 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 18970 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 18982 of file cpp-checked.h.
References ctx(), and project_out_param().
◆ project_out_param() [2/3]
|
inline |
Definition at line 18976 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 18987 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 18993 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 18999 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 19005 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 19011 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 19017 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 19023 of file cpp-checked.h.
References copy(), isl_union_map_range_reverse(), manage, and res.
Referenced by copy().
◆ release()
|
inline |
Definition at line 18504 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 19029 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 19035 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 19046 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 19052 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 19058 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 19064 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 19070 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 19076 of file cpp-checked.h.
References copy(), isl_union_map_universe(), manage, and res.
Referenced by copy().
◆ wrap()
|
inline |
Definition at line 19082 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 19088 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 18448 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 18451 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 3937 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