#include <isl-noexceptions.h>

Public Member Functions
	union_map ()

	union_map (const union_map &obj)

	union_map (isl::basic_map bmap)

	union_map (isl::map map)

	union_map (isl::ctx ctx, const std::string &str)

union_map &	operator= (union_map obj)

	~union_map ()

__isl_give isl_union_map *	copy () const &

__isl_give isl_union_map *	copy () &&=delete

__isl_keep isl_union_map *	get () const

__isl_give isl_union_map *	release ()

bool	is_null () const

isl::ctx	ctx () const

isl::union_map	affine_hull () const

isl::union_map	apply_domain (isl::union_map umap2) const

isl::union_map	apply_range (isl::union_map umap2) const

isl::map	as_map () const

isl::multi_union_pw_aff	as_multi_union_pw_aff () const

isl::union_pw_multi_aff	as_union_pw_multi_aff () const

isl::union_set	bind_range (isl::multi_id tuple) const

isl::union_map	coalesce () const

isl::union_map	compute_divs () const

isl::union_map	curry () const

isl::union_set	deltas () const

isl::union_map	detect_equalities () const

isl::union_set	domain () const

isl::union_map	domain_factor_domain () const

isl::union_map	domain_factor_range () const

isl::union_map	domain_map () const

isl::union_pw_multi_aff	domain_map_union_pw_multi_aff () const

isl::union_map	domain_product (isl::union_map umap2) const

isl::union_map	eq_at (isl::multi_union_pw_aff mupa) const

boolean	every_map (const std::function< boolean(isl::map)> &test) const

isl::map	extract_map (isl::space space) const

isl::union_map	factor_domain () const

isl::union_map	factor_range () const

isl::union_map	fixed_power (isl::val exp) const

isl::union_map	fixed_power (long exp) const

isl::union_map	flat_range_product (isl::union_map umap2) const

stat	foreach_map (const std::function< stat(isl::map)> &fn) const

isl::union_map	gist (isl::union_map context) const

isl::union_map	gist_domain (isl::union_set uset) const

isl::union_map	gist_params (isl::set set) const

isl::union_map	gist_range (isl::union_set uset) const

isl::union_map	intersect (isl::union_map umap2) const

isl::union_map	intersect_domain (isl::space space) const

isl::union_map	intersect_domain (isl::union_set uset) const

isl::union_map	intersect_domain_factor_domain (isl::union_map factor) const

isl::union_map	intersect_domain_factor_range (isl::union_map factor) const

isl::union_map	intersect_params (isl::set set) const

isl::union_map	intersect_range (isl::space space) const

isl::union_map	intersect_range (isl::union_set uset) const

isl::union_map	intersect_range_factor_domain (isl::union_map factor) const

isl::union_map	intersect_range_factor_range (isl::union_map factor) const

boolean	is_bijective () const

boolean	is_disjoint (const isl::union_map &umap2) const

boolean	is_empty () const

boolean	is_equal (const isl::union_map &umap2) const

boolean	is_injective () const

boolean	is_single_valued () const

boolean	is_strict_subset (const isl::union_map &umap2) const

boolean	is_subset (const isl::union_map &umap2) const

boolean	isa_map () const

isl::union_map	lexmax () const

isl::union_map	lexmin () const

isl::map_list	map_list () const

isl::map_list	get_map_list () const

isl::set	params () const

isl::union_map	polyhedral_hull () const

isl::union_map	preimage_domain (isl::multi_aff ma) const

isl::union_map	preimage_domain (isl::multi_pw_aff mpa) const

isl::union_map	preimage_domain (isl::pw_multi_aff pma) const

isl::union_map	preimage_domain (isl::union_pw_multi_aff upma) const

isl::union_map	preimage_range (isl::multi_aff ma) const

isl::union_map	preimage_range (isl::pw_multi_aff pma) const

isl::union_map	preimage_range (isl::union_pw_multi_aff upma) const

isl::union_map	product (isl::union_map umap2) const

isl::union_map	project_out_all_params () const

isl::union_set	range () const

isl::union_map	range_factor_domain () const

isl::union_map	range_factor_range () const

isl::union_map	range_map () const

isl::union_map	range_product (isl::union_map umap2) const

isl::union_map	range_reverse () const

isl::union_map	reverse () const

isl::space	space () const

isl::space	get_space () const

isl::union_map	subtract (isl::union_map umap2) const

isl::union_map	subtract_domain (isl::union_set dom) const

isl::union_map	subtract_range (isl::union_set dom) const

isl::union_map	uncurry () const

isl::union_map	unite (isl::union_map umap2) const

isl::union_map	universe () const

isl::union_set	wrap () const

isl::union_map	zip () const

Static Public Member Functions
static isl::union_map	empty (isl::ctx ctx)

static isl::union_map	from (isl::multi_union_pw_aff mupa)

static isl::union_map	from (isl::union_pw_multi_aff upma)

static isl::union_map	from_domain (isl::union_set uset)

static isl::union_map	from_domain_and_range (isl::union_set domain, isl::union_set range)

static isl::union_map	from_range (isl::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 4280 of file isl-noexceptions.h.

Constructor & Destructor Documentation

◆ union_map() [1/6]

isl::union_map::union_map ( __isl_take isl_union_map * ptr )

inlineexplicitprotected

Definition at line 20339 of file isl-noexceptions.h.

◆ union_map() [2/6]

isl::union_map::union_map ( )

inline

Definition at line 20330 of file isl-noexceptions.h.

◆ union_map() [3/6]

isl::union_map::union_map ( const union_map & obj )

inline

Definition at line 20333 of file isl-noexceptions.h.

References obj, and ptr.

◆ union_map() [4/6]

isl::union_map::union_map ( isl::basic_map bmap )

inline

Definition at line 20342 of file isl-noexceptions.h.

References isl_union_map_from_basic_map(), ptr, isl::basic_map::release(), and res.

◆ union_map() [5/6]

isl::union_map::union_map ( isl::map map )

inline

Definition at line 20348 of file isl-noexceptions.h.

References isl_union_map_from_map(), ptr, isl::map::release(), and res.

◆ union_map() [6/6]

isl::union_map::union_map	(	isl::ctx	ctx,
		const std::string &	str
	)

inlineexplicit

Definition at line 20354 of file isl-noexceptions.h.

References isl_union_map_read_from_str(), ptr, isl::ctx::release(), res, and str.

◆ ~union_map()

isl::union_map::~union_map ( )

inline

Definition at line 20365 of file isl-noexceptions.h.

References isl_union_map_free(), and ptr.

Member Function Documentation

◆ affine_hull()

isl::union_map isl::union_map::affine_hull ( ) const

inline

Definition at line 20392 of file isl-noexceptions.h.

References copy(), isl_union_map_affine_hull(), manage, and res.

◆ apply_domain()

isl::union_map isl::union_map::apply_domain ( isl::union_map umap2 ) const

inline

Definition at line 20398 of file isl-noexceptions.h.

References copy(), isl_union_map_apply_domain(), manage, release(), and res.

Referenced by polly::ZoneAlgorithm::addArrayWriteAccess(), isl::map::apply_domain(), polly::applyDomainRange(), polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::ZoneAlgorithm::computeNormalizedPHIs(), and polly::computeReachingWrite().

◆ apply_range()

isl::union_map isl::union_map::apply_range ( isl::union_map umap2 ) const

inline

Definition at line 20404 of file isl-noexceptions.h.

References copy(), isl_union_map_apply_range(), manage, release(), and res.

Referenced by isl::map::apply_range(), polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::ZoneAlgorithm::computeKnownFromMustWrites(), polly::ZoneAlgorithm::computeNormalizedPHIs(), polly::ZoneAlgorithm::computePerPHI(), polly::computeReachingWrite(), and normalizeValInst().

◆ as_map()

isl::map isl::union_map::as_map ( ) const

inline

Definition at line 20410 of file isl-noexceptions.h.

References copy(), isl_union_map_as_map(), manage, and res.

Referenced by isl::map::as_map().

◆ as_multi_union_pw_aff()

isl::multi_union_pw_aff isl::union_map::as_multi_union_pw_aff ( ) const

inline

Definition at line 20416 of file isl-noexceptions.h.

References copy(), isl_union_map_as_multi_union_pw_aff(), manage, and res.

Referenced by isl::map::as_multi_union_pw_aff().

◆ as_union_pw_multi_aff()

isl::union_pw_multi_aff isl::union_map::as_union_pw_multi_aff ( ) const

inline

Definition at line 20422 of file isl-noexceptions.h.

References copy(), isl_union_map_as_union_pw_multi_aff(), manage, and res.

Referenced by isl::map::as_union_pw_multi_aff().

◆ bind_range()

isl::union_set isl::union_map::bind_range ( isl::multi_id tuple ) const

inline

Definition at line 20428 of file isl-noexceptions.h.

References copy(), isl_union_map_bind_range(), manage, res, and tuple.

◆ coalesce()

isl::union_map isl::union_map::coalesce ( ) const

inline

Definition at line 20434 of file isl-noexceptions.h.

References copy(), isl_union_map_coalesce(), manage, and res.

Referenced by polly::computeReachingWrite(), polly::Scop::getAccessesOfType(), polly::Dependences::getDependences(), and polly::simplify().

◆ compute_divs()

isl::union_map isl::union_map::compute_divs ( ) const

inline

Definition at line 20440 of file isl-noexceptions.h.

References copy(), isl_union_map_compute_divs(), manage, and res.

Referenced by isl::map::compute_divs().

◆ copy() [1/2]

__isl_give isl_union_map * isl::union_map::copy ( ) &&

inlinedelete

◆ copy() [2/2]

__isl_give isl_union_map * isl::union_map::copy ( ) const &

inline

Definition at line 20370 of file isl-noexceptions.h.

References 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(), curry(), deltas(), detect_equalities(), domain(), domain_factor_domain(), domain_factor_range(), domain_map(), domain_map_union_pw_multi_aff(), domain_product(), eq_at(), factor_domain(), factor_range(), fixed_power(), flat_range_product(), gist(), gist_domain(), gist_params(), gist_range(), intersect(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_params(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), lexmax(), lexmin(), params(), polyhedral_hull(), preimage_domain(), preimage_range(), product(), project_out_all_params(), 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()

isl::ctx isl::union_map::ctx ( ) const

inline

Definition at line 20388 of file isl-noexceptions.h.

References isl_union_map_get_ctx(), and ptr.

Referenced by polly::afterScatter(), polly::beforeScatter(), polly::distributeDomain(), polly::filterKnownValInst(), fixed_power(), normalizeValInst(), polly::reverseDomain(), and polly::shiftDim().

◆ curry()

isl::union_map isl::union_map::curry ( ) const

inline

Definition at line 20446 of file isl-noexceptions.h.

References copy(), isl_union_map_curry(), manage, and res.

Referenced by polly::ZoneAlgorithm::computeKnownFromLoad(), and polly::ZoneAlgorithm::computeKnownFromMustWrites().

◆ deltas()

isl::union_set isl::union_map::deltas ( ) const

inline

Definition at line 20452 of file isl-noexceptions.h.

References copy(), isl_union_map_deltas(), manage, and res.

◆ detect_equalities()

isl::union_map isl::union_map::detect_equalities ( ) const

inline

Definition at line 20458 of file isl-noexceptions.h.

References copy(), isl_union_map_detect_equalities(), manage, and res.

Referenced by polly::Dependences::getDependences(), and polly::simplify().

◆ domain()

isl::union_set isl::union_map::domain ( ) const

inline

Definition at line 20464 of file isl-noexceptions.h.

References copy(), isl_union_map_domain(), manage, and res.

Referenced by polly::applyDomainRange(), polly::applyFullUnroll(), polly::applyPartialUnroll(), polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::IslNodeBuilder::createNewAccesses(), from_domain_and_range(), and polly::IslNodeBuilder::getReferencesInSubtree().

◆ domain_factor_domain()

isl::union_map isl::union_map::domain_factor_domain ( ) const

inline

Definition at line 20470 of file isl-noexceptions.h.

References copy(), isl_union_map_domain_factor_domain(), manage, and res.

Referenced by polly::computeArrayUnused().

◆ domain_factor_range()

isl::union_map isl::union_map::domain_factor_range ( ) const

inline

Definition at line 20476 of file isl-noexceptions.h.

References copy(), isl_union_map_domain_factor_range(), manage, and res.

◆ domain_map()

isl::union_map isl::union_map::domain_map ( ) const

inline

Definition at line 20482 of file isl-noexceptions.h.

References copy(), isl_union_map_domain_map(), manage, and res.

Referenced by polly::ZoneAlgorithm::computeKnownFromLoad().

◆ domain_map_union_pw_multi_aff()

isl::union_pw_multi_aff isl::union_map::domain_map_union_pw_multi_aff ( ) const

inline

Definition at line 20488 of file isl-noexceptions.h.

References copy(), isl_union_map_domain_map_union_pw_multi_aff(), manage, and res.

Referenced by isl::map::domain_map_union_pw_multi_aff().

◆ domain_product()

isl::union_map isl::union_map::domain_product ( isl::union_map umap2 ) const

inline

Definition at line 20494 of file isl-noexceptions.h.

References copy(), isl_union_map_domain_product(), manage, release(), and res.

Referenced by isl::map::domain_product().

◆ empty()

isl::union_map isl::union_map::empty ( isl::ctx ctx )

inlinestatic

◆ eq_at()

isl::union_map isl::union_map::eq_at ( isl::multi_union_pw_aff mupa ) const

inline

Definition at line 20506 of file isl-noexceptions.h.

References copy(), isl_union_map_eq_at_multi_union_pw_aff(), manage, mupa, and res.

Referenced by isl::map::eq_at().

◆ every_map()

boolean isl::union_map::every_map ( const std::function< boolean(isl::map)> & test ) const

inline

Definition at line 20512 of file isl-noexceptions.h.

References get(), isl_union_map_every_map(), manage, manage_copy, res, and test.

Referenced by isl::map::every_map().

◆ extract_map()

isl::map isl::union_map::extract_map ( isl::space space ) const

inline

Definition at line 20526 of file isl-noexceptions.h.

References get(), isl_union_map_extract_map(), manage, isl::space::release(), and res.

Referenced by isl::map::extract_map(), and polly::ZoneAlgorithm::getScatterFor().

◆ factor_domain()

isl::union_map isl::union_map::factor_domain ( ) const

inline

Definition at line 20532 of file isl-noexceptions.h.

References copy(), isl_union_map_factor_domain(), manage, and res.

◆ factor_range()

isl::union_map isl::union_map::factor_range ( ) const

inline

Definition at line 20538 of file isl-noexceptions.h.

References copy(), isl_union_map_factor_range(), manage, and res.

◆ fixed_power() [1/2]

isl::union_map isl::union_map::fixed_power ( isl::val exp ) const

inline

Definition at line 20544 of file isl-noexceptions.h.

References copy(), isl_union_map_fixed_power_val(), manage, isl::val::release(), and res.

Referenced by isl::map::fixed_power(), and fixed_power().

◆ fixed_power() [2/2]

isl::union_map isl::union_map::fixed_power ( long exp ) const

inline

Definition at line 20550 of file isl-noexceptions.h.

References ctx(), and fixed_power().

◆ flat_range_product()

isl::union_map isl::union_map::flat_range_product ( isl::union_map umap2 ) const

inline

Definition at line 20555 of file isl-noexceptions.h.

References copy(), isl_union_map_flat_range_product(), manage, release(), and res.

Referenced by isl::map::flat_range_product().

◆ foreach_map()

stat isl::union_map::foreach_map ( const std::function< stat(isl::map)> & fn ) const

inline

Definition at line 20561 of file isl-noexceptions.h.

References fn, get(), isl_union_map_foreach_map(), manage, and res.

Referenced by isl::map::foreach_map().

◆ from() [1/2]

isl::union_map isl::union_map::from ( isl::multi_union_pw_aff mupa )

inlinestatic

Definition at line 20575 of file isl-noexceptions.h.

References isl_union_map_from_multi_union_pw_aff(), manage, mupa, and res.

Referenced by polly::applyFullUnroll(), polly::applyPartialUnroll(), and test_exception().

◆ from() [2/2]

isl::union_map isl::union_map::from ( isl::union_pw_multi_aff upma )

inlinestatic

Definition at line 20581 of file isl-noexceptions.h.

References isl_union_map_from_union_pw_multi_aff(), manage, isl::union_pw_multi_aff::release(), and res.

◆ from_domain()

isl::union_map isl::union_map::from_domain ( isl::union_set uset )

inlinestatic

Definition at line 20587 of file isl-noexceptions.h.

References isl_union_map_from_domain(), manage, isl::union_set::release(), and res.

Referenced by polly::ZoneAlgorithm::computeKnownFromLoad(), computeScalarReachingDefinition(), and polly::makeUnknownForDomain().

◆ from_domain_and_range()

isl::union_map isl::union_map::from_domain_and_range	(	isl::union_set	domain,
		isl::union_set	range
	)

inlinestatic

Definition at line 20593 of file isl-noexceptions.h.

References domain(), isl_union_map_from_domain_and_range(), manage, range(), isl::union_set::release(), and res.

Referenced by polly::ZoneAlgorithm::computeKnownFromLoad().

◆ from_range()

isl::union_map isl::union_map::from_range ( isl::union_set uset )

inlinestatic

Definition at line 20599 of file isl-noexceptions.h.

References isl_union_map_from_range(), manage, isl::union_set::release(), and res.

◆ get()

__isl_keep isl_union_map * isl::union_map::get ( ) const

inline

Definition at line 20374 of file isl-noexceptions.h.

References ptr.

Referenced by astScheduleDimIsParallel(), every_map(), extract_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()

isl::map_list isl::union_map::get_map_list ( ) const

inline

Definition at line 20761 of file isl-noexceptions.h.

References map_list().

Referenced by polly::afterScatter(), polly::beforeScatter(), polly::distributeDomain(), polly::filterKnownValInst(), polly::getNumScatterDims(), polly::ZoneAlgorithm::isNormalized(), polly::Dependences::isValidSchedule(), normalizeValInst(), polly::reverseDomain(), and polly::shiftDim().

◆ get_space()

isl::space isl::union_map::get_space ( ) const

inline

Definition at line 20880 of file isl-noexceptions.h.

References space().

Referenced by polly::getScatterSpace(), and polly::ZoneAlgorithm::ZoneAlgorithm().

◆ gist()

isl::union_map isl::union_map::gist ( isl::union_map context ) const

inline

Definition at line 20605 of file isl-noexceptions.h.

References context, copy(), isl_union_map_gist(), manage, and res.

Referenced by isl::map::gist().

◆ gist_domain()

isl::union_map isl::union_map::gist_domain ( isl::union_set uset ) const

inline

Definition at line 20611 of file isl-noexceptions.h.

References copy(), isl_union_map_gist_domain(), manage, isl::union_set::release(), and res.

Referenced by isl::map::gist_domain().

◆ gist_params()

isl::union_map isl::union_map::gist_params ( isl::set set ) const

inline

Definition at line 20617 of file isl-noexceptions.h.

References copy(), isl_union_map_gist_params(), manage, isl::set::release(), and res.

◆ gist_range()

isl::union_map isl::union_map::gist_range ( isl::union_set uset ) const

inline

Definition at line 20623 of file isl-noexceptions.h.

References copy(), isl_union_map_gist_range(), manage, isl::union_set::release(), and res.

Referenced by isl::map::gist_range().

◆ intersect()

isl::union_map isl::union_map::intersect ( isl::union_map umap2 ) const

inline

Definition at line 20629 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect(), manage, release(), and res.

Referenced by polly::betweenScatter(), polly::convertZoneToTimepoints(), and isl::map::intersect().

◆ intersect_domain() [1/2]

isl::union_map isl::union_map::intersect_domain ( isl::space space ) const

inline

Definition at line 20635 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_domain_space(), manage, isl::space::release(), and res.

Referenced by polly::MemoryAccess::applyScheduleToAccessRelation(), polly::BlockGenerator::buildContainsCondition(), polly::ScopBuilder::calculateMinMaxAccess(), polly::computeArrayUnused(), polly::BlockGenerator::generateBeginStmtTrace(), polly::ZoneAlgorithm::getScatterFor(), polly::ScopStmt::getSchedule(), isl::map::intersect_domain(), and polly::ZoneAlgorithm::ZoneAlgorithm().

◆ intersect_domain() [2/2]

isl::union_map isl::union_map::intersect_domain ( isl::union_set uset ) const

inline

Definition at line 20641 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_domain_union_set(), manage, isl::union_set::release(), and res.

◆ intersect_domain_factor_domain()

isl::union_map isl::union_map::intersect_domain_factor_domain ( isl::union_map factor ) const

inline

Definition at line 20647 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_domain_factor_domain(), manage, release(), and res.

Referenced by isl::map::intersect_domain_factor_domain().

◆ intersect_domain_factor_range()

isl::union_map isl::union_map::intersect_domain_factor_range ( isl::union_map factor ) const

inline

Definition at line 20653 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_domain_factor_range(), manage, release(), and res.

Referenced by isl::map::intersect_domain_factor_range().

◆ intersect_params()

isl::union_map isl::union_map::intersect_params ( isl::set set ) const

inline

Definition at line 20659 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_params(), manage, isl::set::release(), and res.

◆ intersect_range() [1/2]

isl::union_map isl::union_map::intersect_range ( isl::space space ) const

inline

Definition at line 20665 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_range_space(), manage, isl::space::release(), and res.

Referenced by polly::applyFullUnroll(), polly::applyPartialUnroll(), polly::ScopBuilder::getNonHoistableCtx(), and isl::map::intersect_range().

◆ intersect_range() [2/2]

isl::union_map isl::union_map::intersect_range ( isl::union_set uset ) const

inline

Definition at line 20671 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_range_union_set(), manage, isl::union_set::release(), and res.

◆ intersect_range_factor_domain()

isl::union_map isl::union_map::intersect_range_factor_domain ( isl::union_map factor ) const

inline

Definition at line 20677 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_range_factor_domain(), manage, release(), and res.

Referenced by isl::map::intersect_range_factor_domain().

◆ intersect_range_factor_range()

isl::union_map isl::union_map::intersect_range_factor_range ( isl::union_map factor ) const

inline

Definition at line 20683 of file isl-noexceptions.h.

References copy(), isl_union_map_intersect_range_factor_range(), manage, release(), and res.

Referenced by isl::map::intersect_range_factor_range().

◆ is_bijective()

boolean isl::union_map::is_bijective ( ) const

inline

Definition at line 20689 of file isl-noexceptions.h.

References get(), isl_union_map_is_bijective(), manage, and res.

◆ is_disjoint()

boolean isl::union_map::is_disjoint ( const isl::union_map & umap2 ) const

inline

Definition at line 20695 of file isl-noexceptions.h.

References get(), isl_union_map_is_disjoint(), manage, and res.

Referenced by isl::map::is_disjoint().

◆ is_empty()

boolean isl::union_map::is_empty ( ) const

inline

Definition at line 20701 of file isl-noexceptions.h.

References get(), isl_union_map_is_empty(), manage, and res.

Referenced by polly::BlockGenerator::buildContainsCondition().

◆ is_equal()

boolean isl::union_map::is_equal ( const isl::union_map & umap2 ) const

inline

Definition at line 20707 of file isl-noexceptions.h.

References get(), isl_union_map_is_equal(), manage, and res.

Referenced by isl::map::is_equal().

◆ is_injective()

boolean isl::union_map::is_injective ( ) const

inline

Definition at line 20713 of file isl-noexceptions.h.

References get(), isl_union_map_is_injective(), manage, and res.

Referenced by polly::ZoneAlgorithm::computePerPHI().

◆ is_null()

bool isl::union_map::is_null ( ) const

inline

Definition at line 20384 of file isl-noexceptions.h.

References ptr.

Referenced by polly::ZoneAlgorithm::addArrayWriteAccess(), polly::ZoneAlgorithm::computeNormalizedPHIs(), polly::getScatterSpace(), and polly::singleton().

◆ is_single_valued()

boolean isl::union_map::is_single_valued ( ) const

inline

Definition at line 20719 of file isl-noexceptions.h.

References get(), isl_union_map_is_single_valued(), manage, and res.

Referenced by polly::ZoneAlgorithm::computeNormalizedPHIs(), and polly::ZoneAlgorithm::computePerPHI().

◆ is_strict_subset()

boolean isl::union_map::is_strict_subset ( const isl::union_map & umap2 ) const

inline

Definition at line 20725 of file isl-noexceptions.h.

References get(), isl_union_map_is_strict_subset(), manage, and res.

Referenced by isl::map::is_strict_subset().

◆ is_subset()

boolean isl::union_map::is_subset ( const isl::union_map & umap2 ) const

inline

Definition at line 20731 of file isl-noexceptions.h.

References get(), isl_union_map_is_subset(), manage, and res.

Referenced by isl::map::is_subset().

◆ isa_map()

boolean isl::union_map::isa_map ( ) const

inline

Definition at line 20737 of file isl-noexceptions.h.

References get(), isl_union_map_isa_map(), manage, and res.

Referenced by isl::map::isa_map().

◆ lexmax()

isl::union_map isl::union_map::lexmax ( ) const

inline

Definition at line 20743 of file isl-noexceptions.h.

References copy(), isl_union_map_lexmax(), manage, and res.

Referenced by polly::computeArrayUnused(), and polly::computeReachingWrite().

◆ lexmin()

isl::union_map isl::union_map::lexmin ( ) const

inline

Definition at line 20749 of file isl-noexceptions.h.

References copy(), isl_union_map_lexmin(), manage, and res.

Referenced by polly::computeReachingWrite().

◆ map_list()

isl::map_list isl::union_map::map_list ( ) const

inline

Definition at line 20755 of file isl-noexceptions.h.

References get(), isl_union_map_get_map_list(), manage, and res.

Referenced by get_map_list(), and isl::map::map_list().

◆ operator=()

union_map & isl::union_map::operator= ( union_map obj )

inline

Definition at line 20360 of file isl-noexceptions.h.

References obj.

◆ params()

isl::set isl::union_map::params ( ) const

inline

Definition at line 20766 of file isl-noexceptions.h.

References copy(), isl_union_map_params(), manage, and res.

Referenced by polly::ScopBuilder::getNonHoistableCtx(), and isl::map::params().

◆ polyhedral_hull()

isl::union_map isl::union_map::polyhedral_hull ( ) const

inline

Definition at line 20772 of file isl-noexceptions.h.

References copy(), isl_union_map_polyhedral_hull(), manage, and res.

◆ preimage_domain() [1/4]

isl::union_map isl::union_map::preimage_domain ( isl::multi_aff ma ) const

inline

Definition at line 20778 of file isl-noexceptions.h.

References copy(), isl_union_map_preimage_domain_multi_aff(), ma, manage, and res.

Referenced by isl::map::preimage_domain(), and test_preimage().

◆ preimage_domain() [2/4]

isl::union_map isl::union_map::preimage_domain ( isl::multi_pw_aff mpa ) const

inline

Definition at line 20784 of file isl-noexceptions.h.

References copy(), isl_union_map_preimage_domain_multi_pw_aff(), manage, isl::multi_pw_aff::release(), and res.

◆ preimage_domain() [3/4]

isl::union_map isl::union_map::preimage_domain ( isl::pw_multi_aff pma ) const

inline

Definition at line 20790 of file isl-noexceptions.h.

References copy(), isl_union_map_preimage_domain_pw_multi_aff(), manage, pma, and res.

◆ preimage_domain() [4/4]

isl::union_map isl::union_map::preimage_domain ( isl::union_pw_multi_aff upma ) const

inline

Definition at line 20796 of file isl-noexceptions.h.

References copy(), isl_union_map_preimage_domain_union_pw_multi_aff(), manage, isl::union_pw_multi_aff::release(), and res.

◆ preimage_range() [1/3]

isl::union_map isl::union_map::preimage_range ( isl::multi_aff ma ) const

inline

Definition at line 20802 of file isl-noexceptions.h.

References copy(), isl_union_map_preimage_range_multi_aff(), ma, manage, and res.

Referenced by isl::map::preimage_range(), and test_preimage().

◆ preimage_range() [2/3]

isl::union_map isl::union_map::preimage_range ( isl::pw_multi_aff pma ) const

inline

Definition at line 20808 of file isl-noexceptions.h.

References copy(), isl_union_map_preimage_range_pw_multi_aff(), manage, pma, and res.

◆ preimage_range() [3/3]

isl::union_map isl::union_map::preimage_range ( isl::union_pw_multi_aff upma ) const

inline

Definition at line 20814 of file isl-noexceptions.h.

References copy(), isl_union_map_preimage_range_union_pw_multi_aff(), manage, isl::union_pw_multi_aff::release(), and res.

◆ product()

isl::union_map isl::union_map::product ( isl::union_map umap2 ) const

inline

Definition at line 20820 of file isl-noexceptions.h.

References copy(), isl_union_map_product(), manage, release(), and res.

Referenced by polly::liftDomains(), and isl::map::product().

◆ project_out_all_params()

isl::union_map isl::union_map::project_out_all_params ( ) const

inline

Definition at line 20826 of file isl-noexceptions.h.

References copy(), isl_union_map_project_out_all_params(), manage, and res.

◆ range()

isl::union_set isl::union_map::range ( ) const

inline

Definition at line 20832 of file isl-noexceptions.h.

References copy(), isl_union_map_range(), manage, and res.

Referenced by polly::applyFullUnroll(), polly::ScopBuilder::calculateMinMaxAccess(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::ZoneAlgorithm::computePerPHI(), and from_domain_and_range().

◆ range_factor_domain()

isl::union_map isl::union_map::range_factor_domain ( ) const

inline

Definition at line 20838 of file isl-noexceptions.h.

References copy(), isl_union_map_range_factor_domain(), manage, and res.

◆ range_factor_range()

isl::union_map isl::union_map::range_factor_range ( ) const

inline

Definition at line 20844 of file isl-noexceptions.h.

References copy(), isl_union_map_range_factor_range(), manage, and res.

◆ range_map()

isl::union_map isl::union_map::range_map ( ) const

inline

Definition at line 20850 of file isl-noexceptions.h.

References copy(), isl_union_map_range_map(), manage, and res.

Referenced by polly::computeArrayUnused(), and polly::computeReachingWrite().

◆ range_product()

isl::union_map isl::union_map::range_product ( isl::union_map umap2 ) const

inline

Definition at line 20856 of file isl-noexceptions.h.

References copy(), isl_union_map_range_product(), manage, release(), and res.

Referenced by polly::ZoneAlgorithm::computeKnownFromLoad(), and isl::map::range_product().

◆ range_reverse()

isl::union_map isl::union_map::range_reverse ( ) const

inline

Definition at line 20862 of file isl-noexceptions.h.

References copy(), isl_union_map_range_reverse(), manage, and res.

◆ release()

__isl_give isl_union_map * isl::union_map::release ( )

inline

Definition at line 20378 of file isl-noexceptions.h.

References ptr.

Referenced by isl::union_set::apply(), apply_domain(), apply_range(), astScheduleDimIsParallel(), polly::PolyhedralInfo::checkParallel(), domain_product(), flat_range_product(), isl::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(), range_product(), isl::schedule_constraints::set_coincidence(), isl::schedule_constraints::set_conditional_validity(), isl::union_access_info::set_kill(), isl::union_access_info::set_may_source(), isl::union_access_info::set_must_source(), isl::schedule_constraints::set_proximity(), isl::union_access_info::set_schedule_map(), isl::schedule_constraints::set_validity(), subtract(), isl::union_access_info::union_access_info(), isl::union_pw_multi_aff::union_pw_multi_aff(), and unite().

◆ reverse()

isl::union_map isl::union_map::reverse ( ) const

inline

Definition at line 20868 of file isl-noexceptions.h.

References copy(), isl_union_map_reverse(), manage, and res.

Referenced by polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::ZoneAlgorithm::computePerPHI(), and polly::computeReachingWrite().

◆ space()

isl::space isl::union_map::space ( ) const

inline

Definition at line 20874 of file isl-noexceptions.h.

References get(), isl_union_map_get_space(), manage, and res.

Referenced by get_space().

◆ subtract()

isl::union_map isl::union_map::subtract ( isl::union_map umap2 ) const

inline

Definition at line 20885 of file isl-noexceptions.h.

References copy(), isl_union_map_subtract(), manage, release(), and res.

Referenced by polly::computeReachingWrite(), and isl::map::subtract().

◆ subtract_domain()

isl::union_map isl::union_map::subtract_domain ( isl::union_set dom ) const

inline

Definition at line 20891 of file isl-noexceptions.h.

References copy(), isl_union_map_subtract_domain(), manage, isl::union_set::release(), and res.

Referenced by polly::computeArrayUnused(), and isl::map::subtract_domain().

◆ subtract_range()

isl::union_map isl::union_map::subtract_range ( isl::union_set dom ) const

inline

Definition at line 20897 of file isl-noexceptions.h.

References copy(), isl_union_map_subtract_range(), manage, isl::union_set::release(), and res.

Referenced by isl::map::subtract_range().

◆ uncurry()

isl::union_map isl::union_map::uncurry ( ) const

inline

Definition at line 20903 of file isl-noexceptions.h.

References copy(), isl_union_map_uncurry(), manage, and res.

Referenced by polly::computeReachingWrite().

◆ unite()

isl::union_map isl::union_map::unite ( isl::union_map umap2 ) const

inline

Definition at line 20909 of file isl-noexceptions.h.

References copy(), isl_union_map_union(), manage, release(), and res.

Referenced by polly::ZoneAlgorithm::addArrayReadAccess(), polly::ZoneAlgorithm::addArrayWriteAccess(), polly::afterScatter(), polly::beforeScatter(), polly::ScopBuilder::calculateMinMaxAccess(), polly::computeArrayUnused(), polly::ZoneAlgorithm::computeCommon(), polly::ZoneAlgorithm::computeKnown(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::ZoneAlgorithm::computeNormalizedPHIs(), polly::ZoneAlgorithm::computePerPHI(), polly::computeReachingWrite(), polly::convertZoneToTimepoints(), polly::distributeDomain(), polly::filterKnownValInst(), polly::Scop::getAccessesOfType(), polly::Dependences::getDependences(), polly::Dependences::isValidSchedule(), polly::makeIdentityMap(), normalizeValInst(), polly::reverseDomain(), polly::shiftDim(), and isl::map::unite().

◆ universe()

isl::union_map isl::union_map::universe ( ) const

inline

Definition at line 20915 of file isl-noexceptions.h.

References copy(), isl_union_map_universe(), manage, and res.

◆ wrap()

isl::union_set isl::union_map::wrap ( ) const

inline

Definition at line 20921 of file isl-noexceptions.h.

References copy(), isl_union_map_wrap(), manage, and res.

Referenced by polly::computeArrayUnused(), polly::ZoneAlgorithm::computeKnownFromLoad(), polly::dumpExpanded(), and polly::dumpPw().

◆ zip()

isl::union_map isl::union_map::zip ( ) const

inline

Definition at line 20927 of file isl-noexceptions.h.

References copy(), isl_union_map_zip(), manage, and res.

Friends And Related Function Documentation

◆ manage

union_map manage ( __isl_take isl_union_map * ptr )

friend

Definition at line 20322 of file isl-noexceptions.h.

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(), curry(), deltas(), detect_equalities(), domain(), domain_factor_domain(), domain_factor_range(), domain_map(), domain_map_union_pw_multi_aff(), domain_product(), empty(), eq_at(), every_map(), extract_map(), factor_domain(), factor_range(), fixed_power(), flat_range_product(), foreach_map(), from(), from_domain(), from_domain_and_range(), from_range(), gist(), gist_domain(), gist_params(), gist_range(), intersect(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_params(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), 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_range(), product(), project_out_all_params(), 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

union_map manage_copy ( __isl_keep isl_union_map * ptr )

friend

Definition at line 20325 of file isl-noexceptions.h.

Referenced by every_map().

Member Data Documentation

◆ ptr

isl_union_map* isl::union_map::ptr = nullptr

protected

Definition at line 4285 of file isl-noexceptions.h.

Referenced by copy(), ctx(), get(), is_null(), release(), union_map(), and ~union_map().

The documentation for this class was generated from the following file:

isl-noexceptions.h

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Friends

Detailed Description

Constructor & Destructor Documentation

◆ union_map() [1/6]

◆ union_map() [2/6]

◆ union_map() [3/6]

◆ union_map() [4/6]

◆ union_map() [5/6]

◆ union_map() [6/6]

◆ ~union_map()

Member Function Documentation

◆ affine_hull()

◆ apply_domain()

◆ apply_range()

◆ as_map()

◆ as_multi_union_pw_aff()

◆ as_union_pw_multi_aff()

◆ bind_range()

◆ coalesce()

◆ compute_divs()

◆ copy() [1/2]

◆ copy() [2/2]

◆ ctx()

◆ curry()

◆ deltas()

◆ detect_equalities()

◆ domain()

◆ domain_factor_domain()

◆ domain_factor_range()

◆ domain_map()

◆ domain_map_union_pw_multi_aff()

◆ domain_product()

◆ empty()

◆ eq_at()

◆ every_map()

◆ extract_map()

◆ factor_domain()

◆ factor_range()

◆ fixed_power() [1/2]

◆ fixed_power() [2/2]

◆ flat_range_product()

◆ foreach_map()

◆ from() [1/2]

◆ from() [2/2]

◆ from_domain()

◆ from_domain_and_range()

◆ from_range()

◆ get()

◆ get_map_list()

◆ get_space()

◆ gist()

◆ gist_domain()

◆ gist_params()

◆ gist_range()

◆ intersect()

◆ intersect_domain() [1/2]

◆ intersect_domain() [2/2]

◆ intersect_domain_factor_domain()

◆ intersect_domain_factor_range()

◆ intersect_params()

◆ intersect_range() [1/2]

◆ intersect_range() [2/2]

◆ intersect_range_factor_domain()

◆ intersect_range_factor_range()

◆ is_bijective()

◆ is_disjoint()

◆ is_empty()

◆ is_equal()

◆ is_injective()

◆ is_null()

◆ is_single_valued()

◆ is_strict_subset()

◆ is_subset()

◆ isa_map()

◆ lexmax()

◆ lexmin()