#include <isl-noexceptions.h>
Static Public Member Functions | |
| static isl::set | empty (isl::space space) |
| static isl::set | universe (isl::space space) |
Protected Member Functions | |
| set (__isl_take isl_set *ptr) | |
Protected Attributes | |
| isl_set * | ptr = nullptr |
Friends | |
| set | manage (__isl_take isl_set *ptr) |
| set | manage_copy (__isl_keep isl_set *ptr) |
Detailed Description
Definition at line 3878 of file isl-noexceptions.h.
Constructor & Destructor Documentation
◆ set() [1/7]
|
inlineexplicitprotected |
Definition at line 18456 of file isl-noexceptions.h.
References __isl_take, isl_set, and ptr.
Referenced by copy(), dim(), manage, manage_copy, n_basic_set(), operator=(), set(), and tuple_dim().
◆ set() [2/7]
|
inline |
Definition at line 18447 of file isl-noexceptions.h.
References ptr.
◆ set() [3/7]
|
inline |
Definition at line 18450 of file isl-noexceptions.h.
◆ set() [4/7]
|
inline |
Definition at line 18459 of file isl-noexceptions.h.
References isl_set_from_basic_set(), ptr, isl::basic_set::release(), and res.
◆ set() [5/7]
|
inline |
Definition at line 18465 of file isl-noexceptions.h.
References isl_set_from_point(), ptr, isl::point::release(), and res.
◆ set() [6/7]
|
inlineexplicit |
Definition at line 18471 of file isl-noexceptions.h.
References isl_set_from_union_set(), ptr, isl::union_set::release(), and res.
◆ set() [7/7]
|
inlineexplicit |
Definition at line 18477 of file isl-noexceptions.h.
References ctx(), isl_set_read_from_str(), ptr, res, and str.
◆ ~set()
|
inline |
Definition at line 18488 of file isl-noexceptions.h.
References isl_set_free(), and ptr.
Member Function Documentation
◆ add_constraint()
|
inline |
Definition at line 18515 of file isl-noexceptions.h.
References copy(), isl_set_add_constraint(), manage, isl::constraint::release(), and res.
Referenced by isl::basic_set::add_constraint(), copy(), and partitionSetParts().
◆ add_dims()
Definition at line 18521 of file isl-noexceptions.h.
References copy(), isl_set_add_dims(), manage, n, res, and type.
Referenced by isl::basic_set::add_dims(), polly::ScopBuilder::adjustDomainDimensions(), and copy().
◆ affine_hull()
|
inline |
Definition at line 18527 of file isl-noexceptions.h.
References copy(), isl_set_affine_hull(), manage, and res.
Referenced by copy(), and polly::ScopBuilder::foldSizeConstantsToRight().
◆ align_params()
|
inline |
Definition at line 18533 of file isl-noexceptions.h.
References copy(), isl_set_align_params(), manage, isl::space::release(), and res.
Referenced by isl::basic_set::align_params(), copy(), and polly::Scop::setContext().
◆ apply() [1/3]
|
inline |
Definition at line 18550 of file isl-noexceptions.h.
References apply().
◆ apply() [2/3]
|
inline |
Definition at line 18545 of file isl-noexceptions.h.
References isl::union_set::apply().
◆ apply() [3/3]
Definition at line 18539 of file isl-noexceptions.h.
References copy(), isl_set_apply(), manage, isl::map::release(), and res.
Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), apply(), polly::MemoryAccess::assumeNoOutOfBound(), polly::BlockGenerator::buildContainsCondition(), copy(), polly::distributeDomain(), and polly::shiftDim().
◆ as_pw_multi_aff()
|
inline |
Definition at line 18555 of file isl-noexceptions.h.
References copy(), isl_set_as_pw_multi_aff(), manage, and res.
Referenced by copy().
◆ as_set()
|
inline |
Definition at line 18561 of file isl-noexceptions.h.
References isl::union_set::as_set().
Referenced by isl::basic_set::as_set(), and copy().
◆ basic_set_list()
|
inline |
Definition at line 18566 of file isl-noexceptions.h.
References get(), isl_set_get_basic_set_list(), manage, and res.
Referenced by copy(), and get_basic_set_list().
◆ bind()
|
inline |
Definition at line 18577 of file isl-noexceptions.h.
References copy(), isl_set_bind(), manage, res, and tuple.
Referenced by isl::basic_set::bind(), and copy().
◆ coalesce()
|
inline |
Definition at line 18583 of file isl-noexceptions.h.
References copy(), isl_set_coalesce(), manage, and res.
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), polly::SCEVAffinator::checkForWrapping(), isl::basic_set::coalesce(), copy(), polly::ScopBuilder::propagateInvalidStmtDomains(), and polly::simplify().
◆ complement()
|
inline |
Definition at line 18589 of file isl-noexceptions.h.
References copy(), isl_set_complement(), manage, and res.
Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::assumeNoOutOfBound(), isl::basic_set::complement(), and copy().
◆ compute_divs()
|
inline |
Definition at line 18595 of file isl-noexceptions.h.
References isl::union_set::compute_divs().
Referenced by copy().
◆ contains()
|
inline |
Definition at line 18600 of file isl-noexceptions.h.
References isl::union_set::contains(), and space().
Referenced by copy().
◆ convex_hull()
|
inline |
Definition at line 18605 of file isl-noexceptions.h.
References copy(), isl_set_convex_hull(), manage, and res.
Referenced by copy().
◆ copy() [1/2]
|
inlinedelete |
References __isl_give, __isl_keep, __isl_take, add_constraint(), add_dims(), affine_hull(), align_params(), apply(), as_pw_multi_aff(), as_set(), basic_set_list(), bind(), coalesce(), complement(), compute_divs(), contains(), context, convex_hull(), copy(), ctx(), detect_equalities(), dim(), dim_has_any_lower_bound(), dim_id(), dim_max(), dim_max_val(), dim_min(), dim_min_val(), dim_name(), domain, drop_constraints_involving_dims(), eliminate(), empty(), every_set(), extract_set(), find_dim_by_id(), fix_si(), flatten(), fn, foreach_basic_set(), foreach_point(), foreach_set(), function, get(), get_basic_set_list(), get_dim_id(), get_dim_name(), get_plain_multi_val_if_fixed(), get_simple_fixed_box_hull(), get_space(), get_stride(), get_tuple_id(), get_tuple_name(), gist(), gist_params(), has_equal_space(), identity(), identity_union_pw_multi_aff(), indicator_function(), insert_dims(), insert_domain(), intersect(), intersect_params(), involves_dims(), involves_locals(), is_bounded(), is_disjoint(), is_empty(), is_equal(), is_null(), is_params(), is_singleton(), is_strict_subset(), is_subset(), is_wrapping(), isa_set(), isl_set, isl_set_list, lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), lower_bound_si(), lower_bound_val(), ma, manage, manage_copy, max_multi_pw_aff(), max_val(), min_multi_pw_aff(), min_val(), n, n_basic_set(), obj, params(), plain_get_val_if_fixed(), plain_multi_val_if_fixed(), pma, polyhedral_hull(), pos(), preimage(), product(), project_out(), project_out_all_params(), project_out_param(), ptr, pw_multi_aff_on_domain(), release(), remove_dims(), remove_divs(), remove_redundancies(), reset_tuple_id(), sample(), sample_point(), set(), set2, set_dim_id(), set_list(), set_tuple_id(), simple_fixed_box_hull(), simple_hull(), space(), stride(), subtract(), test, to_list(), to_union_set(), translation(), tuple, tuple_dim(), tuple_id(), tuple_name(), type, unbind_params(), unbind_params_insert_domain(), unite(), universe(), unshifted_simple_hull(), unwrap(), upper_bound(), and upper_bound_val().
◆ copy() [2/2]
|
inline |
Definition at line 18493 of file isl-noexceptions.h.
References __isl_give, isl_set, isl_set_copy(), and ptr.
Referenced by add_constraint(), add_dims(), affine_hull(), align_params(), apply(), as_pw_multi_aff(), bind(), checkCandidatePairAccesses(), coalesce(), complement(), convex_hull(), copy(), detect_equalities(), dim_max(), dim_max_val(), dim_min(), dim_min_val(), drop_constraints_involving_dims(), eliminate(), fix_si(), flatten(), gist(), gist_params(), identity(), indicator_function(), insert_dims(), insert_domain(), intersect(), intersect_params(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), lower_bound(), lower_bound_si(), lower_bound_val(), max_multi_pw_aff(), min_multi_pw_aff(), params(), polyhedral_hull(), preimage(), preimage(), preimage(), polly::IslNodeBuilder::preloadInvariantEquivClass(), product(), project_out(), project_out_all_params(), project_out_param(), project_out_param(), pw_multi_aff_on_domain(), remove_dims(), remove_divs(), remove_redundancies(), reset_tuple_id(), sample(), sample_point(), set_dim_id(), set_tuple_id(), simple_hull(), polly::simplify(), subtract(), test_pointer(), to_list(), to_union_set(), translation(), unbind_params(), unbind_params_insert_domain(), unite(), unshifted_simple_hull(), unwrap(), upper_bound(), upper_bound(), and upper_bound_val().
◆ ctx()
|
inline |
Definition at line 18511 of file isl-noexceptions.h.
References isl_set_get_ctx(), and ptr.
Referenced by copy(), find_dim_by_id(), polly::getIsolateOptions(), lower_bound_val(), project_out_param(), set(), set_dim_id(), set_tuple_id(), and upper_bound_val().
◆ detect_equalities()
|
inline |
Definition at line 18611 of file isl-noexceptions.h.
References copy(), isl_set_detect_equalities(), manage, and res.
Referenced by polly::ScopBuilder::buildDomainsWithBranchConstraints(), copy(), and polly::simplify().
◆ dim()
Definition at line 18617 of file isl-noexceptions.h.
References dim(), get(), isl_set_dim(), isl::size::manage, res, set(), and type.
Referenced by polly::ScopBuilder::addUserContext(), copy(), dim(), and importContext().
◆ dim_has_any_lower_bound()
Definition at line 18623 of file isl-noexceptions.h.
References get(), isl_set_dim_has_any_lower_bound(), manage, pos(), res, and type.
Referenced by copy().
◆ dim_id()
Definition at line 18629 of file isl-noexceptions.h.
References get(), isl_set_get_dim_id(), manage, pos(), res, and type.
Referenced by copy(), and get_dim_id().
◆ dim_max()
|
inline |
Definition at line 18640 of file isl-noexceptions.h.
References copy(), isl_set_dim_max(), manage, pos(), and res.
Referenced by copy().
◆ dim_max_val()
|
inline |
Definition at line 18646 of file isl-noexceptions.h.
References copy(), isl_set_dim_max_val(), manage, pos(), and res.
Referenced by copy().
◆ dim_min()
|
inline |
Definition at line 18652 of file isl-noexceptions.h.
References copy(), isl_set_dim_min(), manage, pos(), and res.
Referenced by copy().
◆ dim_min_val()
|
inline |
Definition at line 18658 of file isl-noexceptions.h.
References copy(), isl_set_dim_min_val(), manage, pos(), and res.
Referenced by copy().
◆ dim_name()
|
inline |
Definition at line 18664 of file isl-noexceptions.h.
References get(), isl_set_get_dim_name(), pos(), res, and type.
Referenced by copy(), and get_dim_name().
◆ drop_constraints_involving_dims()
|
inline |
Definition at line 18676 of file isl-noexceptions.h.
References copy(), isl_set_drop_constraints_involving_dims(), manage, n, res, and type.
Referenced by copy(), isl::basic_set::drop_constraints_involving_dims(), and polly::getPartialTilePrefixes().
◆ eliminate()
Definition at line 18682 of file isl-noexceptions.h.
References copy(), isl_set_eliminate(), manage, n, res, and type.
Referenced by polly::ScopBuilder::addInvariantLoads(), copy(), and isl::basic_set::eliminate().
◆ empty()
|
inlinestatic |
Definition at line 18688 of file isl-noexceptions.h.
References isl_set_empty(), manage, res, and space().
Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::assumeNoOutOfBound(), polly::MemoryAccess::buildAccessRelation(), polly::Scop::buildContext(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), collectBoundedParts(), copy(), expand(), polly::ScopBuilder::getPredecessorDomainConstraints(), polly::SCEVAffinator::getPWACtxFromPWA(), polly::Scop::invalidate(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::ScopBuilder::propagateInvalidStmtDomains(), polly::Scop::restrictDomains(), and polly::singleton().
◆ every_set()
Definition at line 18694 of file isl-noexceptions.h.
References isl::union_set::every_set(), and test.
Referenced by copy().
◆ extract_set()
|
inline |
Definition at line 18699 of file isl-noexceptions.h.
References isl::union_set::extract_set(), and space().
Referenced by copy(), and isl::basic_set::extract_set().
◆ find_dim_by_id() [1/2]
Definition at line 18704 of file isl-noexceptions.h.
References get(), isl_set_find_dim_by_id(), res, and type.
Referenced by polly::ScopBuilder::addInvariantLoads(), copy(), and find_dim_by_id().
◆ find_dim_by_id() [2/2]
|
inline |
Definition at line 18710 of file isl-noexceptions.h.
References ctx(), find_dim_by_id(), and type.
◆ fix_si()
Definition at line 18715 of file isl-noexceptions.h.
References copy(), isl_set_fix_si(), manage, pos(), res, and type.
Referenced by copy(), fixSetToZero(), polly::MemoryAccess::isStrideX(), and polly::Dependences::isValidSchedule().
◆ flatten()
|
inline |
Definition at line 18721 of file isl-noexceptions.h.
References copy(), isl_set_flatten(), manage, and res.
Referenced by copy().
◆ foreach_basic_set()
|
inline |
Definition at line 18727 of file isl-noexceptions.h.
References fn, get(), isl_basic_set, isl_set_foreach_basic_set(), manage, and res.
Referenced by copy(), test_foreach(), and test_foreach().
◆ foreach_point()
|
inline |
Definition at line 18741 of file isl-noexceptions.h.
References fn, get(), isl_set_foreach_point(), manage, and res.
Referenced by copy(), and foreachPoint().
◆ foreach_set()
Definition at line 18755 of file isl-noexceptions.h.
References fn, and isl::union_set::foreach_set().
Referenced by copy().
◆ get()
|
inline |
Definition at line 18497 of file isl-noexceptions.h.
References __isl_keep, isl_set, and ptr.
Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), basic_set_list(), buildMinMaxAccess(), copy(), dim(), dim_has_any_lower_bound(), dim_id(), dim_name(), find_dim_by_id(), foreach_basic_set(), foreach_point(), has_equal_space(), involves_dims(), involves_locals(), is_bounded(), is_disjoint(), is_empty(), is_equal(), is_params(), is_singleton(), is_strict_subset(), is_subset(), is_wrapping(), max_val(), min_val(), n_basic_set(), plain_get_val_if_fixed(), plain_multi_val_if_fixed(), simple_fixed_box_hull(), space(), stride(), test_pointer(), tuple_dim(), tuple_id(), and tuple_name().
◆ get_basic_set_list()
|
inline |
Definition at line 18572 of file isl-noexceptions.h.
References basic_set_list().
Referenced by copy(), expand(), isAccessRangeTooComplex(), and printSortedPolyhedra().
◆ get_dim_id()
Definition at line 18635 of file isl-noexceptions.h.
References dim_id(), pos(), and type.
Referenced by copy(), and importContext().
◆ get_dim_name()
|
inline |
Definition at line 18671 of file isl-noexceptions.h.
References dim_name(), pos(), and type.
Referenced by polly::ScopBuilder::addUserContext(), and copy().
◆ get_plain_multi_val_if_fixed()
|
inline |
Definition at line 19081 of file isl-noexceptions.h.
References plain_multi_val_if_fixed().
Referenced by copy().
◆ get_simple_fixed_box_hull()
|
inline |
Definition at line 19225 of file isl-noexceptions.h.
References simple_fixed_box_hull().
Referenced by copy().
◆ get_space()
|
inline |
Definition at line 19242 of file isl-noexceptions.h.
References space().
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::buildAccessRelation(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), computeScalarReachingDefinition(), copy(), expand(), polly::Scop::getParamSpace(), polly::MemoryAccess::isStrideX(), polly::Dependences::isValidSchedule(), polly::makeIdentityMap(), partitionSetParts(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::shiftDim(), polly::singleton(), polly::subtractParams(), and polly::Scop::trackAssumption().
◆ get_stride()
|
inline |
Definition at line 19253 of file isl-noexceptions.h.
References pos(), and stride().
Referenced by copy().
◆ get_tuple_id()
|
inline |
Definition at line 19309 of file isl-noexceptions.h.
References tuple_id().
Referenced by addReferencesFromStmtSet(), copy(), and polly::ZoneAlgorithm::getScalarReachingDefinition().
◆ get_tuple_name()
|
inline |
◆ gist() [1/4]
|
inline |
Definition at line 18771 of file isl-noexceptions.h.
◆ gist() [2/4]
|
inline |
Definition at line 18776 of file isl-noexceptions.h.
◆ gist() [3/4]
|
inline |
Definition at line 18766 of file isl-noexceptions.h.
References context, and isl::union_set::gist().
◆ gist() [4/4]
Definition at line 18760 of file isl-noexceptions.h.
References context, copy(), isl_set_gist(), manage, and res.
Referenced by copy().
◆ gist_params()
Definition at line 18781 of file isl-noexceptions.h.
References context, copy(), isl_set_gist_params(), manage, and res.
Referenced by polly::Scop::addAssumption(), polly::ScopBuilder::addInvariantLoads(), polly::MemoryAccess::assumeNoOutOfBound(), copy(), isl::basic_set::gist_params(), and simplifyAssumptionContext().
◆ has_equal_space()
Definition at line 18787 of file isl-noexceptions.h.
References get(), isl_set_has_equal_space(), manage, res, and set2.
Referenced by copy().
◆ identity()
|
inline |
Definition at line 18793 of file isl-noexceptions.h.
References copy(), isl_set_identity(), manage, and res.
Referenced by copy().
◆ identity_union_pw_multi_aff()
|
inline |
Definition at line 18799 of file isl-noexceptions.h.
References isl::union_set::identity_union_pw_multi_aff().
Referenced by copy().
◆ indicator_function()
|
inline |
Definition at line 18804 of file isl-noexceptions.h.
References copy(), isl_set_indicator_function(), manage, and res.
Referenced by copy().
◆ insert_dims()
Definition at line 18810 of file isl-noexceptions.h.
References copy(), isl_set_insert_dims(), manage, n, pos(), res, and type.
Referenced by copy(), isl::basic_set::insert_dims(), and partitionSetParts().
◆ insert_domain()
|
inline |
Definition at line 18816 of file isl-noexceptions.h.
References copy(), domain, isl_set_insert_domain(), manage, and res.
Referenced by copy().
◆ intersect() [1/4]
|
inline |
Definition at line 18833 of file isl-noexceptions.h.
References intersect(), and set2.
◆ intersect() [2/4]
|
inline |
Definition at line 18838 of file isl-noexceptions.h.
References intersect(), and set2.
◆ intersect() [3/4]
|
inline |
Definition at line 18828 of file isl-noexceptions.h.
References isl::union_set::intersect().
◆ intersect() [4/4]
Definition at line 18822 of file isl-noexceptions.h.
References copy(), isl_set_intersect(), manage, res, and set2.
Referenced by polly::MemoryAccess::assumeNoOutOfBound(), copy(), polly::MemoryAccess::getPwAff(), intersect(), intersect(), polly::IslNodeBuilder::preloadInvariantEquivClass(), and polly::ScopBuilder::propagateInvalidStmtDomains().
◆ intersect_params()
Definition at line 18843 of file isl-noexceptions.h.
References copy(), isl_set_intersect_params(), manage, params(), and res.
Referenced by copy(), polly::IslNodeBuilder::createNewAccesses(), polly::BlockGenerator::generateConditionalExecution(), polly::BlockGenerator::generateScalarLoads(), polly::Scop::getStatistics(), polly::Scop::hasFeasibleRuntimeContext(), polly::MemoryAccess::setNewAccessRelation(), and polly::subtractParams().
◆ involves_dims()
Definition at line 18849 of file isl-noexceptions.h.
References get(), isl_set_involves_dims(), manage, n, res, and type.
Referenced by buildMinMaxAccess(), and copy().
◆ involves_locals()
|
inline |
Definition at line 18855 of file isl-noexceptions.h.
References get(), isl_set_involves_locals(), manage, and res.
Referenced by copy().
◆ is_bounded()
|
inline |
Definition at line 18861 of file isl-noexceptions.h.
References get(), isl_set_is_bounded(), manage, and res.
Referenced by copy().
◆ is_disjoint() [1/4]
|
inline |
Definition at line 18878 of file isl-noexceptions.h.
References is_disjoint(), and set2.
◆ is_disjoint() [2/4]
|
inline |
Definition at line 18883 of file isl-noexceptions.h.
References is_disjoint(), and set2.
◆ is_disjoint() [3/4]
Definition at line 18867 of file isl-noexceptions.h.
References get(), isl_set_is_disjoint(), manage, res, and set2.
Referenced by copy(), is_disjoint(), is_disjoint(), polly::Scop::isEffectiveAssumption(), and polly::ScopBuilder::splitAliasGroupsByDomain().
◆ is_disjoint() [4/4]
|
inline |
Definition at line 18873 of file isl-noexceptions.h.
References isl::union_set::is_disjoint().
◆ is_empty()
|
inline |
Definition at line 18888 of file isl-noexceptions.h.
References get(), isl_set_is_empty(), manage, and res.
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildAliasGroupsForAccesses(), buildCondition(), checkCandidatePairAccesses(), polly::SCEVAffinator::checkForWrapping(), copy(), polly::IslNodeBuilder::createNewAccesses(), polly::ScopBuilder::getNonHoistableCtx(), polly::Scop::hasFeasibleRuntimeContext(), polly::ScopBuilder::propagateInvalidStmtDomains(), test_pointer(), test_return_bool(), test_return_bool(), and polly::Scop::trackAssumption().
◆ is_equal() [1/4]
|
inline |
Definition at line 18905 of file isl-noexceptions.h.
References is_equal(), and set2.
◆ is_equal() [2/4]
|
inline |
Definition at line 18910 of file isl-noexceptions.h.
References is_equal(), and set2.
◆ is_equal() [3/4]
Definition at line 18894 of file isl-noexceptions.h.
References get(), isl_set_is_equal(), manage, res, and set2.
Referenced by polly::ScopBuilder::addInvariantLoads(), copy(), is_equal(), is_equal(), test_constructors(), test_parameters_obj(), and polly::Scop::trackAssumption().
◆ is_equal() [4/4]
|
inline |
Definition at line 18900 of file isl-noexceptions.h.
References isl::union_set::is_equal().
◆ is_null()
|
inline |
Definition at line 18507 of file isl-noexceptions.h.
References ptr.
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), polly::ZoneAlgorithm::computePerPHI(), copy(), polly::ScopBuilder::hasNonHoistableBasePtrInScop(), polly::ScopBuilder::hoistInvariantLoads(), importContext(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::singleton(), and test_pointer().
◆ is_params()
|
inline |
Definition at line 18915 of file isl-noexceptions.h.
References get(), isl_set_is_params(), manage, and res.
Referenced by copy(), and importContext().
◆ is_singleton()
|
inline |
Definition at line 18921 of file isl-noexceptions.h.
References get(), isl_set_is_singleton(), manage, and res.
Referenced by copy(), and polly::Scop::getStatistics().
◆ is_strict_subset() [1/4]
|
inline |
Definition at line 18938 of file isl-noexceptions.h.
References is_strict_subset(), and set2.
◆ is_strict_subset() [2/4]
|
inline |
Definition at line 18943 of file isl-noexceptions.h.
References is_strict_subset(), and set2.
◆ is_strict_subset() [3/4]
Definition at line 18927 of file isl-noexceptions.h.
References get(), isl_set_is_strict_subset(), manage, res, and set2.
Referenced by copy(), is_strict_subset(), and is_strict_subset().
◆ is_strict_subset() [4/4]
|
inline |
Definition at line 18933 of file isl-noexceptions.h.
References isl::union_set::is_strict_subset().
◆ is_subset() [1/4]
|
inline |
Definition at line 18959 of file isl-noexceptions.h.
References is_subset(), and set2.
◆ is_subset() [2/4]
|
inline |
Definition at line 18964 of file isl-noexceptions.h.
References is_subset(), and set2.
◆ is_subset() [3/4]
Definition at line 18948 of file isl-noexceptions.h.
References get(), isl_set_is_subset(), manage, res, and set2.
Referenced by copy(), polly::ScopBuilder::foldSizeConstantsToRight(), polly::BlockGenerator::generateConditionalExecution(), polly::Scop::hasFeasibleRuntimeContext(), is_subset(), is_subset(), polly::Scop::isEffectiveAssumption(), polly::MemoryAccess::isLatestPartialAccess(), polly::MemoryAccess::isStrideX(), polly::ScopStmt::restrictDomain(), and polly::MemoryAccess::setNewAccessRelation().
◆ is_subset() [4/4]
|
inline |
Definition at line 18954 of file isl-noexceptions.h.
References isl::union_set::is_subset().
◆ is_wrapping()
|
inline |
Definition at line 18969 of file isl-noexceptions.h.
References get(), isl_set_is_wrapping(), manage, and res.
Referenced by copy().
◆ isa_set()
|
inline |
Definition at line 18975 of file isl-noexceptions.h.
References isl::union_set::isa_set().
Referenced by copy().
◆ lexmax()
|
inline |
Definition at line 18980 of file isl-noexceptions.h.
References copy(), isl_set_lexmax(), manage, and res.
Referenced by copy().
◆ lexmax_pw_multi_aff()
|
inline |
Definition at line 18986 of file isl-noexceptions.h.
References copy(), isl_set_lexmax_pw_multi_aff(), manage, and res.
Referenced by buildMinMaxAccess(), and copy().
◆ lexmin()
|
inline |
Definition at line 18992 of file isl-noexceptions.h.
References copy(), isl_set_lexmin(), manage, and res.
Referenced by copy().
◆ lexmin_pw_multi_aff()
|
inline |
Definition at line 18998 of file isl-noexceptions.h.
References copy(), isl_set_lexmin_pw_multi_aff(), manage, and res.
Referenced by buildMinMaxAccess(), and copy().
◆ lower_bound() [1/2]
|
inline |
Definition at line 19004 of file isl-noexceptions.h.
References copy(), isl_set_lower_bound_multi_pw_aff(), manage, isl::multi_pw_aff::release(), and res.
Referenced by copy(), isl::basic_set::lower_bound(), and isl::basic_set::lower_bound().
◆ lower_bound() [2/2]
|
inline |
Definition at line 19010 of file isl-noexceptions.h.
References copy(), isl_set_lower_bound_multi_val(), manage, isl::multi_val::release(), and res.
◆ lower_bound_si()
Definition at line 19016 of file isl-noexceptions.h.
References copy(), isl_set_lower_bound_si(), manage, pos(), res, and type.
Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), copy(), polly::ScopBuilder::foldSizeConstantsToRight(), and isl::basic_set::lower_bound_si().
◆ lower_bound_val() [1/2]
Definition at line 19022 of file isl-noexceptions.h.
References copy(), isl_set_lower_bound_val(), manage, pos(), isl::val::release(), res, and type.
Referenced by copy(), isl::basic_set::lower_bound_val(), and lower_bound_val().
◆ lower_bound_val() [2/2]
Definition at line 19028 of file isl-noexceptions.h.
References ctx(), lower_bound_val(), pos(), and type.
◆ max_multi_pw_aff()
|
inline |
Definition at line 19033 of file isl-noexceptions.h.
References copy(), isl_set_max_multi_pw_aff(), manage, and res.
Referenced by copy().
◆ max_val()
Definition at line 19039 of file isl-noexceptions.h.
References get(), isl_set_max_val(), manage, obj, and res.
Referenced by copy().
◆ min_multi_pw_aff()
|
inline |
Definition at line 19045 of file isl-noexceptions.h.
References copy(), isl_set_min_multi_pw_aff(), manage, and res.
Referenced by copy().
◆ min_val()
Definition at line 19051 of file isl-noexceptions.h.
References get(), isl_set_min_val(), manage, obj, and res.
Referenced by copy().
◆ n_basic_set()
|
inline |
Definition at line 19057 of file isl-noexceptions.h.
References get(), isl_set_n_basic_set(), isl::size::manage, n_basic_set(), res, and set().
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), buildMinMaxAccess(), copy(), polly::ScopBuilder::getNonHoistableCtx(), n_basic_set(), and polly::ScopBuilder::propagateInvalidStmtDomains().
◆ operator=()
Definition at line 18483 of file isl-noexceptions.h.
◆ params()
|
inline |
Definition at line 19063 of file isl-noexceptions.h.
References copy(), isl_set_params(), manage, and res.
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::MemoryAccess::assumeNoOutOfBound(), polly::SCEVAffinator::checkForWrapping(), copy(), polly::MemoryAccess::getInvalidContext(), polly::ScopStmt::getInvalidContext(), and intersect_params().
◆ plain_get_val_if_fixed()
Definition at line 19069 of file isl-noexceptions.h.
References get(), isl_set_plain_get_val_if_fixed(), manage, pos(), res, and type.
Referenced by copy().
◆ plain_multi_val_if_fixed()
|
inline |
Definition at line 19075 of file isl-noexceptions.h.
References get(), isl_set_get_plain_multi_val_if_fixed(), manage, and res.
Referenced by copy(), and get_plain_multi_val_if_fixed().
◆ polyhedral_hull()
|
inline |
Definition at line 19086 of file isl-noexceptions.h.
References copy(), isl_set_polyhedral_hull(), manage, and res.
Referenced by copy().
◆ preimage() [1/4]
|
inline |
Definition at line 19110 of file isl-noexceptions.h.
References isl::union_set::preimage().
◆ preimage() [2/4]
|
inline |
Definition at line 19092 of file isl-noexceptions.h.
References copy(), isl_set_preimage_multi_aff(), ma, manage, and res.
Referenced by copy(), isl::basic_set::preimage(), isl::basic_set::preimage(), isl::basic_set::preimage(), isl::basic_set::preimage(), and test_preimage().
◆ preimage() [3/4]
|
inline |
Definition at line 19098 of file isl-noexceptions.h.
References copy(), isl_set_preimage_multi_pw_aff(), manage, isl::multi_pw_aff::release(), and res.
◆ preimage() [4/4]
|
inline |
Definition at line 19104 of file isl-noexceptions.h.
References copy(), isl_set_preimage_pw_multi_aff(), manage, pma, and res.
◆ product()
Definition at line 19115 of file isl-noexceptions.h.
References copy(), isl_set_product(), manage, res, and set2.
Referenced by copy(), and isl::basic_set::product().
◆ project_out()
Definition at line 19121 of file isl-noexceptions.h.
References copy(), isl_set_project_out(), manage, n, res, and type.
Referenced by polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::ScopBuilder::adjustDomainDimensions(), copy(), polly::ScopBuilder::foldSizeConstantsToRight(), polly::getPartialTilePrefixes(), and partitionSetParts().
◆ project_out_all_params()
|
inline |
Definition at line 19127 of file isl-noexceptions.h.
References copy(), isl_set_project_out_all_params(), manage, and res.
Referenced by copy(), hasIntersectingAccesses(), and isl::basic_set::project_out_all_params().
◆ project_out_param() [1/3]
|
inline |
Definition at line 19139 of file isl-noexceptions.h.
References ctx(), and project_out_param().
◆ project_out_param() [2/3]
Definition at line 19133 of file isl-noexceptions.h.
References copy(), isl_set_project_out_param_id(), manage, release(), and res.
Referenced by copy(), isl::basic_set::project_out_param(), isl::basic_set::project_out_param(), and project_out_param().
◆ project_out_param() [3/3]
|
inline |
Definition at line 19144 of file isl-noexceptions.h.
References copy(), isl_set_project_out_param_id_list(), manage, isl::id_list::release(), and res.
◆ pw_multi_aff_on_domain()
|
inline |
Definition at line 19150 of file isl-noexceptions.h.
References copy(), isl_set_pw_multi_aff_on_domain_multi_val(), manage, isl::multi_val::release(), and res.
Referenced by copy().
◆ release()
|
inline |
Definition at line 18501 of file isl-noexceptions.h.
References __isl_give, isl_set, and ptr.
Referenced by isl::set_list::add(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildConditionSets(), copy(), polly::IslNodeBuilder::createNewAccesses(), isl::ast_build::expr_from(), isl::ast_build::from_context(), isl::map::from_domain(), isl::map::from_range(), polly::Scop::getDomains(), isl::multi_pw_aff::gist(), isl::pw_multi_aff::gist(), isl::union_map::gist_params(), isl::union_set::gist_params(), isl::set_list::insert(), isl::map::intersect_domain(), isl::pw_aff::intersect_domain(), isl::pw_multi_aff::intersect_domain(), isl::multi_pw_aff::intersect_params(), isl::pw_aff::intersect_params(), isl::pw_multi_aff::intersect_params(), isl::union_map::intersect_params(), isl::union_pw_aff::intersect_params(), isl::union_pw_multi_aff::intersect_params(), isl::union_set::intersect_params(), isl::map::intersect_range(), project_out_param(), isl::ast_build::restrict(), set_dim_id(), isl::set_list::set_list(), set_tuple_id(), isl::pw_aff::subtract_domain(), isl::pw_multi_aff::subtract_domain(), test_pointer(), and isl::union_set::union_set().
◆ remove_dims()
Definition at line 19156 of file isl-noexceptions.h.
References copy(), isl_set_remove_dims(), manage, n, res, and type.
Referenced by copy(), partitionSetParts(), and isl::basic_set::remove_dims().
◆ remove_divs()
|
inline |
Definition at line 19162 of file isl-noexceptions.h.
References copy(), isl_set_remove_divs(), manage, and res.
Referenced by polly::MemoryAccess::assumeNoOutOfBound(), buildMinMaxAccess(), copy(), polly::ScopBuilder::getNonHoistableCtx(), and isl::basic_set::remove_divs().
◆ remove_redundancies()
|
inline |
Definition at line 19168 of file isl-noexceptions.h.
References copy(), isl_set_remove_redundancies(), manage, and res.
Referenced by copy(), polly::ZoneAlgorithm::getDomainFor(), and isl::basic_set::remove_redundancies().
◆ reset_tuple_id()
|
inline |
Definition at line 19174 of file isl-noexceptions.h.
References copy(), isl_set_reset_tuple_id(), manage, and res.
Referenced by copy(), polly::MemoryAccess::getPwAff(), and isl::basic_set::reset_tuple_id().
◆ sample()
|
inline |
Definition at line 19180 of file isl-noexceptions.h.
References copy(), isl_set_sample(), manage, and res.
Referenced by copy().
◆ sample_point()
|
inline |
Definition at line 19186 of file isl-noexceptions.h.
References copy(), isl_set_sample_point(), manage, and res.
Referenced by copy().
◆ set_dim_id() [1/2]
|
inline |
Definition at line 19198 of file isl-noexceptions.h.
References ctx(), pos(), set_dim_id(), and type.
◆ set_dim_id() [2/2]
Definition at line 19192 of file isl-noexceptions.h.
References copy(), isl_set_set_dim_id(), manage, pos(), release(), res, and type.
Referenced by polly::ScopBuilder::addUserContext(), copy(), importContext(), isl::basic_set::set_dim_id(), and set_dim_id().
◆ set_list()
|
inline |
Definition at line 19203 of file isl-noexceptions.h.
References isl::union_set::set_list().
Referenced by copy().
◆ set_tuple_id() [1/2]
|
inline |
Definition at line 19214 of file isl-noexceptions.h.
References ctx(), and set_tuple_id().
◆ set_tuple_id() [2/2]
Definition at line 19208 of file isl-noexceptions.h.
References copy(), isl_set_set_tuple_id(), manage, release(), and res.
Referenced by polly::ScopBuilder::buildDomain(), copy(), polly::getIsolateOptions(), isl::basic_set::set_tuple_id(), and set_tuple_id().
◆ simple_fixed_box_hull()
|
inline |
Definition at line 19219 of file isl-noexceptions.h.
References get(), isl_set_get_simple_fixed_box_hull(), manage, and res.
Referenced by copy(), and get_simple_fixed_box_hull().
◆ simple_hull()
|
inline |
Definition at line 19230 of file isl-noexceptions.h.
References copy(), isl_set_simple_hull(), manage, and res.
Referenced by buildMinMaxAccess(), and copy().
◆ space()
|
inline |
Definition at line 19236 of file isl-noexceptions.h.
References get(), isl_set_get_space(), manage, and res.
Referenced by contains(), copy(), empty(), extract_set(), get_space(), and universe().
◆ stride()
|
inline |
Definition at line 19247 of file isl-noexceptions.h.
References get(), isl_set_get_stride(), manage, pos(), and res.
Referenced by copy(), and get_stride().
◆ subtract() [1/4]
|
inline |
Definition at line 19269 of file isl-noexceptions.h.
References set2, and subtract().
◆ subtract() [2/4]
|
inline |
Definition at line 19274 of file isl-noexceptions.h.
References set2, and subtract().
◆ subtract() [3/4]
|
inline |
Definition at line 19264 of file isl-noexceptions.h.
References isl::union_set::subtract().
◆ subtract() [4/4]
Definition at line 19258 of file isl-noexceptions.h.
References copy(), isl_set_subtract(), manage, res, and set2.
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), copy(), polly::getPartialTilePrefixes(), isl::basic_set::subtract(), isl::basic_set::subtract(), subtract(), subtract(), and polly::subtractParams().
◆ to_list()
|
inline |
◆ to_union_set()
|
inline |
Definition at line 19285 of file isl-noexceptions.h.
References copy(), isl_set_to_union_set(), manage, and res.
Referenced by copy().
◆ translation()
|
inline |
Definition at line 19291 of file isl-noexceptions.h.
References copy(), isl_set_translation(), manage, and res.
Referenced by copy().
◆ tuple_dim()
|
inline |
Definition at line 19297 of file isl-noexceptions.h.
References get(), isl_set_tuple_dim(), isl::size::manage, res, set(), and tuple_dim().
Referenced by polly::ScopBuilder::adjustDomainDimensions(), copy(), fixSetToZero(), polly::ScopBuilder::foldSizeConstantsToRight(), polly::ZoneAlgorithm::getDefToTarget(), polly::getIsolateOptions(), polly::getPartialTilePrefixes(), polly::MemoryAccess::isStrideX(), polly::Dependences::isValidSchedule(), polly::shiftDim(), and tuple_dim().
◆ tuple_id()
|
inline |
Definition at line 19303 of file isl-noexceptions.h.
References get(), isl_set_get_tuple_id(), manage, and res.
Referenced by copy(), and get_tuple_id().
◆ tuple_name()
|
inline |
Definition at line 19314 of file isl-noexceptions.h.
References get(), isl_set_get_tuple_name(), and res.
Referenced by copy(), and get_tuple_name().
◆ unbind_params()
|
inline |
Definition at line 19326 of file isl-noexceptions.h.
References copy(), isl_set_unbind_params(), manage, res, and tuple.
Referenced by copy(), and isl::basic_set::unbind_params().
◆ unbind_params_insert_domain()
|
inline |
Definition at line 19332 of file isl-noexceptions.h.
References copy(), domain, isl_set_unbind_params_insert_domain(), manage, and res.
Referenced by copy().
◆ unite() [1/4]
|
inline |
Definition at line 19349 of file isl-noexceptions.h.
◆ unite() [2/4]
|
inline |
Definition at line 19354 of file isl-noexceptions.h.
◆ unite() [3/4]
|
inline |
Definition at line 19344 of file isl-noexceptions.h.
References isl::union_set::unite().
◆ unite() [4/4]
Definition at line 19338 of file isl-noexceptions.h.
References copy(), isl_set_union(), manage, res, and set2.
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), addRangeBoundsToSet(), polly::MemoryAccess::assumeNoOutOfBound(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), polly::SCEVAffinator::checkForWrapping(), collectBoundedParts(), copy(), polly::ScopBuilder::getPredecessorDomainConstraints(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::ScopBuilder::propagateInvalidStmtDomains(), recursiveExpand(), polly::ScopBuilder::splitAliasGroupsByDomain(), test_constructors(), test_parameters_obj(), isl::basic_set::unite(), isl::basic_set::unite(), unite(), and unite().
◆ universe()
|
inlinestatic |
Definition at line 19359 of file isl-noexceptions.h.
References isl_set_universe(), manage, res, and space().
Referenced by polly::ScopBuilder::addInvariantLoads(), polly::applyPartialUnroll(), polly::Scop::buildContext(), polly::ZoneAlgorithm::collectIncompatibleElts(), polly::ZoneAlgorithm::computeKnownFromLoad(), copy(), polly::getDimOptions(), polly::ScopBuilder::getNonHoistableCtx(), polly::ScopBuilder::getPredecessorDomainConstraints(), polly::MemoryAccess::isStrideX(), polly::Dependences::isValidSchedule(), polly::ZoneAlgorithm::makeValueSet(), polly::subtractParams(), test_space(), polly::Scop::trackAssumption(), and polly::MemoryAccess::updateDimensionality().
◆ unshifted_simple_hull()
|
inline |
Definition at line 19365 of file isl-noexceptions.h.
References copy(), isl_set_unshifted_simple_hull(), manage, and res.
Referenced by copy().
◆ unwrap()
|
inline |
Definition at line 19371 of file isl-noexceptions.h.
References copy(), isl_set_unwrap(), manage, and res.
Referenced by copy(), and polly::distributeDomain().
◆ upper_bound() [1/2]
|
inline |
Definition at line 19377 of file isl-noexceptions.h.
References copy(), isl_set_upper_bound_multi_pw_aff(), manage, isl::multi_pw_aff::release(), and res.
Referenced by copy(), isl::basic_set::upper_bound(), and isl::basic_set::upper_bound().
◆ upper_bound() [2/2]
|
inline |
Definition at line 19383 of file isl-noexceptions.h.
References copy(), isl_set_upper_bound_multi_val(), manage, isl::multi_val::release(), and res.
◆ upper_bound_val() [1/2]
Definition at line 19389 of file isl-noexceptions.h.
References copy(), isl_set_upper_bound_val(), manage, pos(), isl::val::release(), res, and type.
Referenced by copy(), isl::basic_set::upper_bound_val(), and upper_bound_val().
◆ upper_bound_val() [2/2]
Definition at line 19395 of file isl-noexceptions.h.
References ctx(), pos(), type, and upper_bound_val().
Friends And Related Symbol Documentation
◆ manage
|
friend |
Definition at line 18439 of file isl-noexceptions.h.
References __isl_take, isl_set, ptr, isl::set, and set().
Referenced by add_constraint(), add_dims(), affine_hull(), align_params(), apply(), as_pw_multi_aff(), basic_set_list(), bind(), coalesce(), complement(), convex_hull(), copy(), detect_equalities(), dim_has_any_lower_bound(), dim_id(), dim_max(), dim_max_val(), dim_min(), dim_min_val(), drop_constraints_involving_dims(), eliminate(), empty(), fix_si(), flatten(), foreach_basic_set(), foreach_point(), gist(), gist_params(), has_equal_space(), identity(), indicator_function(), insert_dims(), insert_domain(), intersect(), intersect_params(), involves_dims(), involves_locals(), is_bounded(), is_disjoint(), is_empty(), is_equal(), is_params(), is_singleton(), is_strict_subset(), is_subset(), is_wrapping(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), lower_bound(), lower_bound_si(), lower_bound_val(), max_multi_pw_aff(), max_val(), min_multi_pw_aff(), min_val(), params(), plain_get_val_if_fixed(), plain_multi_val_if_fixed(), polyhedral_hull(), preimage(), preimage(), preimage(), product(), project_out(), project_out_all_params(), project_out_param(), project_out_param(), pw_multi_aff_on_domain(), remove_dims(), remove_divs(), remove_redundancies(), reset_tuple_id(), sample(), sample_point(), set_dim_id(), set_tuple_id(), simple_fixed_box_hull(), simple_hull(), space(), stride(), subtract(), to_list(), to_union_set(), translation(), tuple_id(), unbind_params(), unbind_params_insert_domain(), unite(), universe(), unshifted_simple_hull(), unwrap(), upper_bound(), upper_bound(), and upper_bound_val().
◆ manage_copy
|
friend |
Definition at line 18442 of file isl-noexceptions.h.
References __isl_keep, isl_set, isl_set_copy(), ptr, isl::set, and set().
Referenced by copy().
Member Data Documentation
◆ ptr
|
protected |
The documentation for this class was generated from the following file:
Generated on for Polly by
1.14.0