#include <cpp-checked.h>

Inheritance diagram for isl::checked::basic_set:

Public Member Functions
	basic_set ()
	basic_set (const basic_set &obj)
	basic_set (isl::checked::point pnt)
	basic_set (isl::checked::ctx ctx, const std::string &str)
basic_set &	operator= (basic_set obj)
	~basic_set ()
__isl_give isl_basic_set *	copy () const &
__isl_give isl_basic_set *	copy () &&=delete
__isl_keep isl_basic_set *	get () const
__isl_give isl_basic_set *	release ()
bool	is_null () const
isl::checked::ctx	ctx () const
isl::checked::basic_set	affine_hull () const
isl::checked::basic_set	apply (isl::checked::basic_map bmap) const
isl::checked::set	apply (const isl::checked::map &map) const
isl::checked::union_set	apply (const isl::checked::union_map &umap) const
isl::checked::pw_multi_aff	as_pw_multi_aff () const
isl::checked::set	as_set () const
isl::checked::set	bind (const isl::checked::multi_id &tuple) const
isl::checked::set	coalesce () const
isl::checked::set	complement () const
isl::checked::union_set	compute_divs () const
isl::checked::basic_set	detect_equalities () const
isl::checked::val	dim_max_val (int pos) const
isl::checked::val	dim_min_val (int pos) const
isl::checked::set	drop_unused_params () const
boolean	every_set (const std::function< boolean(isl::checked::set)> &test) const
isl::checked::set	extract_set (const isl::checked::space &space) const
isl::checked::basic_set	flatten () const
stat	foreach_basic_set (const std::function< stat(isl::checked::basic_set)> &fn) const
stat	foreach_point (const std::function< stat(isl::checked::point)> &fn) const
stat	foreach_set (const std::function< stat(isl::checked::set)> &fn) const
isl::checked::basic_set	gist (isl::checked::basic_set context) const
isl::checked::set	gist (const isl::checked::set &context) const
isl::checked::union_set	gist (const isl::checked::union_set &context) const
isl::checked::basic_set	gist (const isl::checked::point &context) const
isl::checked::set	gist_params (const isl::checked::set &context) const
isl::checked::map	identity () const
isl::checked::pw_aff	indicator_function () const
isl::checked::map	insert_domain (const isl::checked::space &domain) const
isl::checked::basic_set	intersect (isl::checked::basic_set bset2) const
isl::checked::set	intersect (const isl::checked::set &set2) const
isl::checked::union_set	intersect (const isl::checked::union_set &uset2) const
isl::checked::basic_set	intersect (const isl::checked::point &bset2) const
isl::checked::basic_set	intersect_params (isl::checked::basic_set bset2) const
isl::checked::set	intersect_params (const isl::checked::set &params) const
isl::checked::basic_set	intersect_params (const isl::checked::point &bset2) const
boolean	involves_locals () const
boolean	is_disjoint (const isl::checked::set &set2) const
boolean	is_disjoint (const isl::checked::union_set &uset2) const
boolean	is_empty () const
boolean	is_equal (const isl::checked::basic_set &bset2) const
boolean	is_equal (const isl::checked::set &set2) const
boolean	is_equal (const isl::checked::union_set &uset2) const
boolean	is_equal (const isl::checked::point &bset2) const
boolean	is_singleton () const
boolean	is_strict_subset (const isl::checked::set &set2) const
boolean	is_strict_subset (const isl::checked::union_set &uset2) const
boolean	is_subset (const isl::checked::basic_set &bset2) const
boolean	is_subset (const isl::checked::set &set2) const
boolean	is_subset (const isl::checked::union_set &uset2) const
boolean	is_subset (const isl::checked::point &bset2) const
boolean	is_wrapping () const
boolean	isa_set () const
isl::checked::fixed_box	lattice_tile () const
isl::checked::set	lexmax () const
isl::checked::pw_multi_aff	lexmax_pw_multi_aff () const
isl::checked::set	lexmin () const
isl::checked::pw_multi_aff	lexmin_pw_multi_aff () const
isl::checked::set	lower_bound (const isl::checked::multi_pw_aff &lower) const
isl::checked::set	lower_bound (const isl::checked::multi_val &lower) const
isl::checked::multi_pw_aff	max_multi_pw_aff () const
isl::checked::val	max_val (const isl::checked::aff &obj) const
isl::checked::multi_pw_aff	min_multi_pw_aff () const
isl::checked::val	min_val (const isl::checked::aff &obj) const
class size	n_basic_set () const
isl::checked::pw_aff	param_pw_aff_on_domain (const isl::checked::id &id) const
isl::checked::pw_aff	param_pw_aff_on_domain (const std::string &id) const
isl::checked::basic_set	params () const
isl::checked::multi_val	plain_multi_val_if_fixed () const
isl::checked::basic_set	polyhedral_hull () const
isl::checked::set	preimage (const isl::checked::multi_aff &ma) const
isl::checked::set	preimage (const isl::checked::multi_pw_aff &mpa) const
isl::checked::set	preimage (const isl::checked::pw_multi_aff &pma) const
isl::checked::union_set	preimage (const isl::checked::union_pw_multi_aff &upma) const
isl::checked::set	product (const isl::checked::set &set2) const
isl::checked::set	project_out_all_params () const
isl::checked::set	project_out_param (const isl::checked::id &id) const
isl::checked::set	project_out_param (const std::string &id) const
isl::checked::set	project_out_param (const isl::checked::id_list &list) const
isl::checked::pw_aff	pw_aff_on_domain (const isl::checked::val &v) const
isl::checked::pw_aff	pw_aff_on_domain (long v) const
isl::checked::pw_multi_aff	pw_multi_aff_on_domain (const isl::checked::multi_val &mv) const
isl::checked::basic_set	sample () const
isl::checked::point	sample_point () const
isl::checked::set_list	set_list () const
isl::checked::fixed_box	simple_fixed_box_hull () const
isl::checked::space	space () const
isl::checked::val	stride (int pos) const
isl::checked::set	subtract (const isl::checked::set &set2) const
isl::checked::union_set	subtract (const isl::checked::union_set &uset2) const
isl::checked::set_list	to_list () const
isl::checked::set	to_set () const
isl::checked::union_set	to_union_set () const
isl::checked::map	translation () const
class size	tuple_dim () const
isl::checked::set	unbind_params (const isl::checked::multi_id &tuple) const
isl::checked::map	unbind_params_insert_domain (const isl::checked::multi_id &domain) const
isl::checked::set	unite (isl::checked::basic_set bset2) const
isl::checked::set	unite (const isl::checked::set &set2) const
isl::checked::union_set	unite (const isl::checked::union_set &uset2) const
isl::checked::set	unite (const isl::checked::point &bset2) const
isl::checked::basic_set	unshifted_simple_hull () const
isl::checked::map	unwrap () const
isl::checked::set	upper_bound (const isl::checked::multi_pw_aff &upper) const
isl::checked::set	upper_bound (const isl::checked::multi_val &upper) const
isl::checked::set	wrapped_reverse () const

Protected Member Functions
	basic_set (__isl_take isl_basic_set *ptr)

Protected Attributes
isl_basic_set *	ptr = nullptr

Friends
basic_set	manage (__isl_take isl_basic_set *ptr)
basic_set	manage_copy (__isl_keep isl_basic_set *ptr)

Detailed Description

Definition at line 1586 of file cpp-checked.h.

Constructor & Destructor Documentation

◆ basic_set() [1/5]

isl::basic_set::basic_set ( __isl_take isl_basic_set * ptr )

inlineexplicitprotected

Definition at line 8352 of file cpp-checked.h.

References __isl_take, isl_basic_set, and ptr.

Referenced by basic_set(), copy(), manage, manage_copy, n_basic_set(), operator=(), and tuple_dim().

◆ basic_set() [2/5]

isl::basic_set::basic_set ( )

inline

Definition at line 8355 of file cpp-checked.h.

References ptr.

◆ basic_set() [3/5]

isl::basic_set::basic_set ( const basic_set & obj )

inline

Definition at line 8358 of file cpp-checked.h.

References basic_set(), obj, and ptr.

◆ basic_set() [4/5]

isl::basic_set::basic_set ( isl::checked::point pnt )

inline

Definition at line 8364 of file cpp-checked.h.

References isl_basic_set_from_point(), ptr, isl::checked::point::release(), and res.

◆ basic_set() [5/5]

isl::basic_set::basic_set	(	isl::checked::ctx	ctx,
		const std::string &	str )

inlineexplicit

Definition at line 8370 of file cpp-checked.h.

References ctx(), isl_basic_set_read_from_str(), ptr, res, and str.

◆ ~basic_set()

isl::basic_set::~basic_set ( )

inline

Definition at line 8381 of file cpp-checked.h.

References isl_basic_set_free(), and ptr.

Member Function Documentation

◆ affine_hull()

isl::basic_set isl::basic_set::affine_hull ( ) const

inline

Definition at line 8408 of file cpp-checked.h.

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

Referenced by isl::checked::point::affine_hull(), and copy().

◆ apply() [1/3]

isl::set isl::basic_set::apply ( const isl::checked::map & map ) const

inline

Definition at line 8420 of file cpp-checked.h.

References isl::checked::set::apply().

◆ apply() [2/3]

isl::union_set isl::basic_set::apply ( const isl::checked::union_map & umap ) const

inline

Definition at line 8425 of file cpp-checked.h.

References isl::checked::set::apply().

◆ apply() [3/3]

isl::basic_set isl::basic_set::apply ( isl::checked::basic_map bmap ) const

inline

Definition at line 8414 of file cpp-checked.h.

References copy(), isl_basic_set_apply(), manage, isl::checked::basic_map::release(), and res.

Referenced by isl::checked::point::apply(), isl::checked::point::apply(), isl::checked::point::apply(), and copy().

◆ as_pw_multi_aff()

isl::pw_multi_aff isl::basic_set::as_pw_multi_aff ( ) const

inline

Definition at line 8430 of file cpp-checked.h.

References isl::checked::set::as_pw_multi_aff().

Referenced by isl::checked::point::as_pw_multi_aff(), and copy().

◆ as_set()

isl::set isl::basic_set::as_set ( ) const

inline

Definition at line 8435 of file cpp-checked.h.

References isl::checked::set::as_set().

Referenced by isl::checked::point::as_set(), and copy().

◆ bind()

isl::set isl::basic_set::bind ( const isl::checked::multi_id & tuple ) const

inline

Definition at line 8440 of file cpp-checked.h.

References isl::checked::set::bind(), and tuple.

Referenced by isl::checked::point::bind(), and copy().

◆ coalesce()

isl::set isl::basic_set::coalesce ( ) const

inline

Definition at line 8445 of file cpp-checked.h.

References isl::checked::set::coalesce().

Referenced by isl::checked::point::coalesce(), and copy().

◆ complement()

isl::set isl::basic_set::complement ( ) const

inline

Definition at line 8450 of file cpp-checked.h.

References isl::checked::set::complement().

Referenced by isl::checked::point::complement(), and copy().

◆ compute_divs()

isl::union_set isl::basic_set::compute_divs ( ) const

inline

Definition at line 8455 of file cpp-checked.h.

References isl::checked::set::compute_divs().

Referenced by isl::checked::point::compute_divs(), and copy().

◆ copy() [1/2]

__isl_give isl_basic_set * isl::checked::basic_set::copy ( ) &&

inlinedelete

References __isl_give, __isl_keep, __isl_take, affine_hull(), apply(), as_pw_multi_aff(), as_set(), basic_set(), bind(), coalesce(), complement(), compute_divs(), context, copy(), ctx(), detect_equalities(), dim_max_val(), dim_min_val(), domain, drop_unused_params(), every_set(), extract_set(), flatten(), fn, foreach_basic_set(), foreach_point(), foreach_set(), get(), gist(), gist_params(), identity(), indicator_function(), insert_domain(), intersect(), intersect_params(), involves_locals(), is_disjoint(), is_empty(), is_equal(), is_null(), is_singleton(), is_strict_subset(), is_subset(), is_wrapping(), isa_set(), isl_basic_set, lattice_tile(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), ma, manage, manage_copy, max_multi_pw_aff(), max_val(), min_multi_pw_aff(), min_val(), n_basic_set(), obj, param_pw_aff_on_domain(), params(), plain_multi_val_if_fixed(), pma, polyhedral_hull(), pos(), preimage(), product(), project_out_all_params(), project_out_param(), ptr, pw_aff_on_domain(), pw_multi_aff_on_domain(), release(), sample(), sample_point(), set2, set_list(), simple_fixed_box_hull(), space(), stride(), subtract(), test, to_list(), to_set(), to_union_set(), translation(), tuple, tuple_dim(), unbind_params(), unbind_params_insert_domain(), unite(), unshifted_simple_hull(), unwrap(), upper_bound(), and wrapped_reverse().

◆ copy() [2/2]

__isl_give isl_basic_set * isl::basic_set::copy ( ) const &

inline

Definition at line 8386 of file cpp-checked.h.

References __isl_give, isl_basic_set, isl_basic_set_copy(), and ptr.

Referenced by affine_hull(), apply(), copy(), detect_equalities(), dim_max_val(), flatten(), gist(), intersect(), intersect_params(), lexmax(), lexmin(), params(), sample(), sample_point(), to_set(), and unite().

◆ ctx()

isl::ctx isl::basic_set::ctx ( ) const

inline

Definition at line 8404 of file cpp-checked.h.

References isl_basic_set_get_ctx(), and ptr.

Referenced by basic_set(), isl::typed::basic_set< Domain >::basic_set(), isl::typed::basic_set< pair< Domain, Range > >::basic_set(), isl::typed::basic_set<>::basic_set(), copy(), param_pw_aff_on_domain(), project_out_param(), and pw_aff_on_domain().

◆ detect_equalities()

isl::basic_set isl::basic_set::detect_equalities ( ) const

inline

Definition at line 8460 of file cpp-checked.h.

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

Referenced by copy(), and isl::checked::point::detect_equalities().

◆ dim_max_val()

isl::val isl::basic_set::dim_max_val ( int pos ) const

inline

Definition at line 8466 of file cpp-checked.h.

References copy(), isl_basic_set_dim_max_val(), manage, pos(), and res.

Referenced by copy(), and isl::checked::point::dim_max_val().

◆ dim_min_val()

isl::val isl::basic_set::dim_min_val ( int pos ) const

inline

Definition at line 8472 of file cpp-checked.h.

References isl::checked::set::dim_min_val(), and pos().

Referenced by copy(), and isl::checked::point::dim_min_val().

◆ drop_unused_params()

isl::set isl::basic_set::drop_unused_params ( ) const

inline

Definition at line 8477 of file cpp-checked.h.

References isl::checked::set::drop_unused_params().

Referenced by copy(), and isl::checked::point::drop_unused_params().

◆ every_set()

boolean isl::checked::basic_set::every_set ( const std::function< boolean(isl::checked::set)> & test ) const

inline

Definition at line 8482 of file cpp-checked.h.

References isl::checked::set::every_set(), and test.

Referenced by copy(), isl::checked::point::every_set(), isl::point::every_set(), and isl::point::every_set().

◆ extract_set()

isl::set isl::basic_set::extract_set ( const isl::checked::space & space ) const

inline

Definition at line 8487 of file cpp-checked.h.

References isl::checked::set::extract_set(), and space().

Referenced by copy(), and isl::checked::point::extract_set().

◆ flatten()

isl::basic_set isl::basic_set::flatten ( ) const

inline

Definition at line 8492 of file cpp-checked.h.

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

Referenced by copy(), and isl::checked::point::flatten().

◆ foreach_basic_set()

stat isl::checked::basic_set::foreach_basic_set ( const std::function< stat(isl::checked::basic_set)> & fn ) const

inline

Definition at line 8498 of file cpp-checked.h.

References fn, and isl::checked::set::foreach_basic_set().

Referenced by copy(), isl::checked::point::foreach_basic_set(), isl::point::foreach_basic_set(), and isl::point::foreach_basic_set().

◆ foreach_point()

stat isl::checked::basic_set::foreach_point ( const std::function< stat(isl::checked::point)> & fn ) const

inline

Definition at line 8503 of file cpp-checked.h.

References fn, and isl::checked::set::foreach_point().

Referenced by copy(), isl::checked::point::foreach_point(), isl::point::foreach_point(), and isl::point::foreach_point().

◆ foreach_set()

stat isl::checked::basic_set::foreach_set ( const std::function< stat(isl::checked::set)> & fn ) const

inline

Definition at line 8508 of file cpp-checked.h.

References fn, and isl::checked::set::foreach_set().

Referenced by copy(), isl::checked::point::foreach_set(), isl::point::foreach_set(), and isl::point::foreach_set().

◆ get()

__isl_keep isl_basic_set * isl::basic_set::get ( ) const

inline

Definition at line 8390 of file cpp-checked.h.

References __isl_keep, isl_basic_set, and ptr.

Referenced by copy(), is_empty(), is_equal(), is_subset(), and is_wrapping().

◆ gist() [1/4]

isl::basic_set isl::basic_set::gist ( const isl::checked::point & context ) const

inline

Definition at line 8529 of file cpp-checked.h.

References context, and gist.

◆ gist() [2/4]

isl::set isl::basic_set::gist ( const isl::checked::set & context ) const

inline

Definition at line 8519 of file cpp-checked.h.

References context, and isl::checked::set::gist().

◆ gist() [3/4]

isl::union_set isl::basic_set::gist ( const isl::checked::union_set & context ) const

inline

Definition at line 8524 of file cpp-checked.h.

References context, and isl::checked::set::gist().

◆ gist() [4/4]

isl::basic_set isl::basic_set::gist ( isl::checked::basic_set context ) const

inline

Definition at line 8513 of file cpp-checked.h.

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

Referenced by copy(), isl::checked::point::gist(), isl::checked::point::gist(), and isl::checked::point::gist().

◆ gist_params()

isl::set isl::basic_set::gist_params ( const isl::checked::set & context ) const

inline

Definition at line 8534 of file cpp-checked.h.

References context, and isl::checked::set::gist_params().

Referenced by copy(), and isl::checked::point::gist_params().

◆ identity()

isl::map isl::basic_set::identity ( ) const

inline

Definition at line 8539 of file cpp-checked.h.

References isl::checked::set::identity().

Referenced by copy(), and isl::checked::point::identity().

◆ indicator_function()

isl::pw_aff isl::basic_set::indicator_function ( ) const

inline

Definition at line 8544 of file cpp-checked.h.

References isl::checked::set::indicator_function().

Referenced by copy(), and isl::checked::point::indicator_function().

◆ insert_domain()

isl::map isl::basic_set::insert_domain ( const isl::checked::space & domain ) const

inline

Definition at line 8549 of file cpp-checked.h.

References domain, and isl::checked::set::insert_domain().

Referenced by copy(), and isl::checked::point::insert_domain().

◆ intersect() [1/4]

isl::basic_set isl::basic_set::intersect ( const isl::checked::point & bset2 ) const

inline

Definition at line 8570 of file cpp-checked.h.

References intersect().

◆ intersect() [2/4]

isl::set isl::basic_set::intersect ( const isl::checked::set & set2 ) const

inline

Definition at line 8560 of file cpp-checked.h.

References isl::checked::set::intersect(), and set2.

◆ intersect() [3/4]

isl::union_set isl::basic_set::intersect ( const isl::checked::union_set & uset2 ) const

inline

Definition at line 8565 of file cpp-checked.h.

References isl::checked::set::intersect().

◆ intersect() [4/4]

isl::basic_set isl::basic_set::intersect ( isl::checked::basic_set bset2 ) const

inline

Definition at line 8554 of file cpp-checked.h.

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

Referenced by copy(), intersect(), isl::checked::point::intersect(), isl::checked::point::intersect(), and isl::checked::point::intersect().

◆ intersect_params() [1/3]

isl::basic_set isl::basic_set::intersect_params ( const isl::checked::point & bset2 ) const

inline

Definition at line 8586 of file cpp-checked.h.

References intersect_params().

◆ intersect_params() [2/3]

isl::set isl::basic_set::intersect_params ( const isl::checked::set & params ) const

inline

Definition at line 8581 of file cpp-checked.h.

References isl::checked::set::intersect_params(), and params().

◆ intersect_params() [3/3]

isl::basic_set isl::basic_set::intersect_params ( isl::checked::basic_set bset2 ) const

inline

Definition at line 8575 of file cpp-checked.h.

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

Referenced by copy(), intersect_params(), isl::checked::point::intersect_params(), and isl::checked::point::intersect_params().

◆ involves_locals()

boolean isl::basic_set::involves_locals ( ) const

inline

Definition at line 8591 of file cpp-checked.h.

References isl::checked::set::involves_locals().

Referenced by copy(), and isl::checked::point::involves_locals().

◆ is_disjoint() [1/2]

boolean isl::basic_set::is_disjoint ( const isl::checked::set & set2 ) const

inline

Definition at line 8596 of file cpp-checked.h.

References isl::checked::set::is_disjoint(), and set2.

Referenced by copy(), isl::checked::point::is_disjoint(), and isl::checked::point::is_disjoint().

◆ is_disjoint() [2/2]

boolean isl::basic_set::is_disjoint ( const isl::checked::union_set & uset2 ) const

inline

Definition at line 8601 of file cpp-checked.h.

References isl::checked::set::is_disjoint().

◆ is_empty()

boolean isl::basic_set::is_empty ( ) const

inline

Definition at line 8606 of file cpp-checked.h.

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

Referenced by copy(), and isl::checked::point::is_empty().

◆ is_equal() [1/4]

boolean isl::basic_set::is_equal ( const isl::checked::basic_set & bset2 ) const

inline

Definition at line 8612 of file cpp-checked.h.

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

Referenced by copy(), polly::ScopBuilder::foldSizeConstantsToRight(), is_equal(), isl::checked::point::is_equal(), isl::checked::point::is_equal(), and isl::checked::point::is_equal().

◆ is_equal() [2/4]

boolean isl::basic_set::is_equal ( const isl::checked::point & bset2 ) const

inline

Definition at line 8628 of file cpp-checked.h.

References is_equal().

◆ is_equal() [3/4]

boolean isl::basic_set::is_equal ( const isl::checked::set & set2 ) const

inline

Definition at line 8618 of file cpp-checked.h.

References isl::checked::set::is_equal(), and set2.

◆ is_equal() [4/4]

boolean isl::basic_set::is_equal ( const isl::checked::union_set & uset2 ) const

inline

Definition at line 8623 of file cpp-checked.h.

References isl::checked::set::is_equal().

◆ is_null()

bool isl::basic_set::is_null ( ) const

inline

Definition at line 8400 of file cpp-checked.h.

References ptr.

Referenced by copy().

◆ is_singleton()

boolean isl::basic_set::is_singleton ( ) const

inline

Definition at line 8633 of file cpp-checked.h.

References isl::checked::set::is_singleton().

Referenced by copy(), and isl::checked::point::is_singleton().

◆ is_strict_subset() [1/2]

boolean isl::basic_set::is_strict_subset ( const isl::checked::set & set2 ) const

inline

Definition at line 8638 of file cpp-checked.h.

References isl::checked::set::is_strict_subset(), and set2.

Referenced by copy(), isl::checked::point::is_strict_subset(), and isl::checked::point::is_strict_subset().

◆ is_strict_subset() [2/2]

boolean isl::basic_set::is_strict_subset ( const isl::checked::union_set & uset2 ) const

inline

Definition at line 8643 of file cpp-checked.h.

References isl::checked::set::is_strict_subset().

◆ is_subset() [1/4]

boolean isl::basic_set::is_subset ( const isl::checked::basic_set & bset2 ) const

inline

Definition at line 8648 of file cpp-checked.h.

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

Referenced by copy(), is_subset(), isl::checked::point::is_subset(), isl::checked::point::is_subset(), and isl::checked::point::is_subset().

◆ is_subset() [2/4]

boolean isl::basic_set::is_subset ( const isl::checked::point & bset2 ) const

inline

Definition at line 8664 of file cpp-checked.h.

References is_subset().

◆ is_subset() [3/4]

boolean isl::basic_set::is_subset ( const isl::checked::set & set2 ) const

inline

Definition at line 8654 of file cpp-checked.h.

References isl::checked::set::is_subset(), and set2.

◆ is_subset() [4/4]

boolean isl::basic_set::is_subset ( const isl::checked::union_set & uset2 ) const

inline

Definition at line 8659 of file cpp-checked.h.

References isl::checked::set::is_subset().

◆ is_wrapping()

boolean isl::basic_set::is_wrapping ( ) const

inline

Definition at line 8669 of file cpp-checked.h.

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

Referenced by copy(), and isl::checked::point::is_wrapping().

◆ isa_set()

boolean isl::basic_set::isa_set ( ) const

inline

Definition at line 8675 of file cpp-checked.h.

References isl::checked::set::isa_set().

Referenced by copy(), and isl::checked::point::isa_set().

◆ lattice_tile()

isl::fixed_box isl::basic_set::lattice_tile ( ) const

inline

Definition at line 8680 of file cpp-checked.h.

References isl::checked::set::lattice_tile().

Referenced by copy(), and isl::checked::point::lattice_tile().

◆ lexmax()

isl::set isl::basic_set::lexmax ( ) const

inline

Definition at line 8685 of file cpp-checked.h.

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

Referenced by copy(), and isl::checked::point::lexmax().

◆ lexmax_pw_multi_aff()

isl::pw_multi_aff isl::basic_set::lexmax_pw_multi_aff ( ) const

inline

Definition at line 8691 of file cpp-checked.h.

References isl::checked::set::lexmax_pw_multi_aff().

Referenced by copy(), and isl::checked::point::lexmax_pw_multi_aff().

◆ lexmin()

isl::set isl::basic_set::lexmin ( ) const

inline

Definition at line 8696 of file cpp-checked.h.

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

Referenced by copy(), and isl::checked::point::lexmin().

◆ lexmin_pw_multi_aff()

isl::pw_multi_aff isl::basic_set::lexmin_pw_multi_aff ( ) const

inline

Definition at line 8702 of file cpp-checked.h.

References isl::checked::set::lexmin_pw_multi_aff().

Referenced by copy(), and isl::checked::point::lexmin_pw_multi_aff().

◆ lower_bound() [1/2]

isl::set isl::basic_set::lower_bound ( const isl::checked::multi_pw_aff & lower ) const

inline

Definition at line 8707 of file cpp-checked.h.

References isl::checked::set::lower_bound().

Referenced by copy(), isl::checked::point::lower_bound(), and isl::checked::point::lower_bound().

◆ lower_bound() [2/2]

isl::set isl::basic_set::lower_bound ( const isl::checked::multi_val & lower ) const

inline

Definition at line 8712 of file cpp-checked.h.

References isl::checked::set::lower_bound().

◆ max_multi_pw_aff()

isl::multi_pw_aff isl::basic_set::max_multi_pw_aff ( ) const

inline

Definition at line 8717 of file cpp-checked.h.

References isl::checked::set::max_multi_pw_aff().

Referenced by copy(), and isl::checked::point::max_multi_pw_aff().

◆ max_val()

isl::val isl::basic_set::max_val ( const isl::checked::aff & obj ) const

inline

Definition at line 8722 of file cpp-checked.h.

References isl::checked::set::max_val(), and obj.

Referenced by copy(), and isl::checked::point::max_val().

◆ min_multi_pw_aff()

isl::multi_pw_aff isl::basic_set::min_multi_pw_aff ( ) const

inline

Definition at line 8727 of file cpp-checked.h.

References isl::checked::set::min_multi_pw_aff().

Referenced by copy(), and isl::checked::point::min_multi_pw_aff().

◆ min_val()

isl::val isl::basic_set::min_val ( const isl::checked::aff & obj ) const

inline

Definition at line 8732 of file cpp-checked.h.

References isl::checked::set::min_val(), and obj.

Referenced by copy(), and isl::checked::point::min_val().

◆ n_basic_set()

class size isl::basic_set::n_basic_set ( ) const

inline

Definition at line 8737 of file cpp-checked.h.

References basic_set(), n_basic_set(), and isl::checked::set::n_basic_set().

Referenced by copy(), n_basic_set(), and isl::checked::point::n_basic_set().

◆ operator=()

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

inline

Definition at line 8376 of file cpp-checked.h.

References basic_set(), and obj.

◆ param_pw_aff_on_domain() [1/2]

isl::pw_aff isl::basic_set::param_pw_aff_on_domain ( const isl::checked::id & id ) const

inline

Definition at line 8742 of file cpp-checked.h.

References isl::checked::set::param_pw_aff_on_domain().

Referenced by copy(), param_pw_aff_on_domain(), and isl::checked::point::param_pw_aff_on_domain().

◆ param_pw_aff_on_domain() [2/2]

isl::pw_aff isl::basic_set::param_pw_aff_on_domain ( const std::string & id ) const

inline

Definition at line 8747 of file cpp-checked.h.

References ctx(), and param_pw_aff_on_domain().

◆ params()

isl::basic_set isl::basic_set::params ( ) const

inline

Definition at line 8752 of file cpp-checked.h.

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

Referenced by copy(), intersect_params(), and isl::checked::point::params().

◆ plain_multi_val_if_fixed()

isl::multi_val isl::basic_set::plain_multi_val_if_fixed ( ) const

inline

Definition at line 8758 of file cpp-checked.h.

References isl::checked::set::plain_multi_val_if_fixed().

Referenced by copy(), and isl::checked::point::plain_multi_val_if_fixed().

◆ polyhedral_hull()

isl::basic_set isl::basic_set::polyhedral_hull ( ) const

inline

Definition at line 8763 of file cpp-checked.h.

References isl::checked::set::polyhedral_hull().

Referenced by copy(), and isl::checked::point::polyhedral_hull().

◆ preimage() [1/4]

isl::set isl::basic_set::preimage ( const isl::checked::multi_aff & ma ) const

inline

Definition at line 8768 of file cpp-checked.h.

References ma, and isl::checked::set::preimage().

Referenced by copy(), isl::checked::point::preimage(), isl::checked::point::preimage(), isl::checked::point::preimage(), and isl::checked::point::preimage().

◆ preimage() [2/4]

isl::set isl::basic_set::preimage ( const isl::checked::multi_pw_aff & mpa ) const

inline

Definition at line 8773 of file cpp-checked.h.

References isl::checked::set::preimage().

◆ preimage() [3/4]

isl::set isl::basic_set::preimage ( const isl::checked::pw_multi_aff & pma ) const

inline

Definition at line 8778 of file cpp-checked.h.

References pma, and isl::checked::set::preimage().

◆ preimage() [4/4]

isl::union_set isl::basic_set::preimage ( const isl::checked::union_pw_multi_aff & upma ) const

inline

Definition at line 8783 of file cpp-checked.h.

References isl::checked::set::preimage().

◆ product()

isl::set isl::basic_set::product ( const isl::checked::set & set2 ) const

inline

Definition at line 8788 of file cpp-checked.h.

References isl::checked::set::product(), and set2.

Referenced by copy(), and isl::checked::point::product().

◆ project_out_all_params()

isl::set isl::basic_set::project_out_all_params ( ) const

inline

Definition at line 8793 of file cpp-checked.h.

References isl::checked::set::project_out_all_params().

Referenced by copy(), and isl::checked::point::project_out_all_params().

◆ project_out_param() [1/3]

isl::set isl::basic_set::project_out_param ( const isl::checked::id & id ) const

inline

Definition at line 8798 of file cpp-checked.h.

References isl::checked::set::project_out_param().

Referenced by copy(), project_out_param(), isl::checked::point::project_out_param(), and isl::checked::point::project_out_param().

◆ project_out_param() [2/3]

isl::set isl::basic_set::project_out_param ( const isl::checked::id_list & list ) const

inline

Definition at line 8808 of file cpp-checked.h.

References isl::checked::set::project_out_param().

◆ project_out_param() [3/3]

isl::set isl::basic_set::project_out_param ( const std::string & id ) const

inline

Definition at line 8803 of file cpp-checked.h.

References ctx(), and project_out_param().

◆ pw_aff_on_domain() [1/2]

isl::pw_aff isl::basic_set::pw_aff_on_domain ( const isl::checked::val & v ) const

inline

Definition at line 8813 of file cpp-checked.h.

References isl::checked::set::pw_aff_on_domain().

Referenced by copy(), pw_aff_on_domain(), and isl::checked::point::pw_aff_on_domain().

◆ pw_aff_on_domain() [2/2]

isl::pw_aff isl::basic_set::pw_aff_on_domain ( long v ) const

inline

Definition at line 8818 of file cpp-checked.h.

References ctx(), and pw_aff_on_domain().

◆ pw_multi_aff_on_domain()

isl::pw_multi_aff isl::basic_set::pw_multi_aff_on_domain ( const isl::checked::multi_val & mv ) const

inline

Definition at line 8823 of file cpp-checked.h.

References isl::checked::set::pw_multi_aff_on_domain().

Referenced by copy(), and isl::checked::point::pw_multi_aff_on_domain().

◆ release()

__isl_give isl_basic_set * isl::basic_set::release ( )

inline

Definition at line 8394 of file cpp-checked.h.

References __isl_give, isl_basic_set, and ptr.

Referenced by isl::basic_set_list::add(), isl::basic_set_list::basic_set_list(), copy(), isl::basic_set_list::insert(), intersect(), isl::checked::basic_map::intersect_domain(), isl::checked::basic_map::intersect_params(), intersect_params(), isl::checked::basic_map::intersect_range(), isl::checked::set::set(), isl::checked::union_set::union_set(), and unite().

◆ sample()

isl::basic_set isl::basic_set::sample ( ) const

inline

Definition at line 8828 of file cpp-checked.h.

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

Referenced by copy(), and isl::checked::point::sample().

◆ sample_point()

isl::point isl::basic_set::sample_point ( ) const

inline

Definition at line 8834 of file cpp-checked.h.

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

Referenced by copy(), and isl::checked::point::sample_point().

◆ set_list()

isl::set_list isl::basic_set::set_list ( ) const

inline

Definition at line 8840 of file cpp-checked.h.

References isl::checked::set::set_list().

Referenced by copy(), and isl::checked::point::set_list().

◆ simple_fixed_box_hull()

isl::fixed_box isl::basic_set::simple_fixed_box_hull ( ) const

inline

Definition at line 8845 of file cpp-checked.h.

References isl::checked::set::simple_fixed_box_hull().

Referenced by copy(), and isl::checked::point::simple_fixed_box_hull().

◆ space()

isl::space isl::basic_set::space ( ) const

inline

Definition at line 8850 of file cpp-checked.h.

References isl::checked::set::space().

Referenced by copy(), extract_set(), and isl::checked::point::space().

◆ stride()

isl::val isl::basic_set::stride ( int pos ) const

inline

Definition at line 8855 of file cpp-checked.h.

References pos(), and isl::checked::set::stride().

Referenced by copy(), and isl::checked::point::stride().

◆ subtract() [1/2]

isl::set isl::basic_set::subtract ( const isl::checked::set & set2 ) const

inline

Definition at line 8860 of file cpp-checked.h.

References set2, and isl::checked::set::subtract().

Referenced by copy(), isl::checked::point::subtract(), and isl::checked::point::subtract().

◆ subtract() [2/2]

isl::union_set isl::basic_set::subtract ( const isl::checked::union_set & uset2 ) const

inline

Definition at line 8865 of file cpp-checked.h.

References isl::checked::set::subtract().

◆ to_list()

isl::basic_set_list isl::basic_set::to_list ( ) const

inline

Definition at line 8870 of file cpp-checked.h.

References isl::checked::set::to_list().

Referenced by copy(), and isl::checked::point::to_list().

◆ to_set()

isl::set isl::basic_set::to_set ( ) const

inline

Definition at line 8875 of file cpp-checked.h.

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

Referenced by copy().

◆ to_union_set()

isl::union_set isl::basic_set::to_union_set ( ) const

inline

Definition at line 8881 of file cpp-checked.h.

References isl::checked::set::to_union_set().

Referenced by copy(), and isl::checked::point::to_union_set().

◆ translation()

isl::map isl::basic_set::translation ( ) const

inline

Definition at line 8886 of file cpp-checked.h.

References isl::checked::set::translation().

Referenced by copy(), and isl::checked::point::translation().

◆ tuple_dim()

class size isl::basic_set::tuple_dim ( ) const

inline

Definition at line 8891 of file cpp-checked.h.

References basic_set(), tuple_dim(), and isl::checked::set::tuple_dim().

Referenced by copy(), tuple_dim(), and isl::checked::point::tuple_dim().

◆ unbind_params()

isl::set isl::basic_set::unbind_params ( const isl::checked::multi_id & tuple ) const

inline

Definition at line 8896 of file cpp-checked.h.

References tuple, and isl::checked::set::unbind_params().

Referenced by copy(), and isl::checked::point::unbind_params().

◆ unbind_params_insert_domain()

isl::map isl::basic_set::unbind_params_insert_domain ( const isl::checked::multi_id & domain ) const

inline

Definition at line 8901 of file cpp-checked.h.

References domain, and isl::checked::set::unbind_params_insert_domain().

Referenced by copy(), and isl::checked::point::unbind_params_insert_domain().

◆ unite() [1/4]

isl::set isl::basic_set::unite ( const isl::checked::point & bset2 ) const

inline

Definition at line 8922 of file cpp-checked.h.

References unite().

◆ unite() [2/4]

isl::set isl::basic_set::unite ( const isl::checked::set & set2 ) const

inline

Definition at line 8912 of file cpp-checked.h.

References set2, and isl::checked::set::unite().

◆ unite() [3/4]

isl::union_set isl::basic_set::unite ( const isl::checked::union_set & uset2 ) const

inline

Definition at line 8917 of file cpp-checked.h.

References isl::checked::set::unite().

◆ unite() [4/4]

isl::set isl::basic_set::unite ( isl::checked::basic_set bset2 ) const

inline

Definition at line 8906 of file cpp-checked.h.

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

Referenced by copy(), unite(), isl::checked::point::unite(), isl::checked::point::unite(), and isl::checked::point::unite().

◆ unshifted_simple_hull()

isl::basic_set isl::basic_set::unshifted_simple_hull ( ) const

inline

Definition at line 8927 of file cpp-checked.h.

References isl::checked::set::unshifted_simple_hull().

Referenced by copy(), and isl::checked::point::unshifted_simple_hull().

◆ unwrap()

isl::map isl::basic_set::unwrap ( ) const

inline

Definition at line 8932 of file cpp-checked.h.

References isl::checked::set::unwrap().

Referenced by copy(), printSortedPolyhedra(), and isl::checked::point::unwrap().

◆ upper_bound() [1/2]

isl::set isl::basic_set::upper_bound ( const isl::checked::multi_pw_aff & upper ) const

inline

Definition at line 8937 of file cpp-checked.h.

References isl::checked::set::upper_bound().

Referenced by copy(), isl::checked::point::upper_bound(), and isl::checked::point::upper_bound().

◆ upper_bound() [2/2]

isl::set isl::basic_set::upper_bound ( const isl::checked::multi_val & upper ) const

inline

Definition at line 8942 of file cpp-checked.h.

References isl::checked::set::upper_bound().

◆ wrapped_reverse()

isl::set isl::basic_set::wrapped_reverse ( ) const

inline

Definition at line 8947 of file cpp-checked.h.

References isl::checked::set::wrapped_reverse().

Referenced by copy(), and isl::checked::point::wrapped_reverse().

◆ manage

basic_set manage ( __isl_take isl_basic_set * ptr )

friend

Definition at line 8344 of file cpp-checked.h.

References __isl_take, basic_set(), isl_basic_set, and ptr.

Referenced by affine_hull(), apply(), copy(), detect_equalities(), dim_max_val(), flatten(), gist(), intersect(), intersect_params(), is_empty(), is_equal(), is_subset(), is_wrapping(), lexmax(), lexmin(), params(), sample(), sample_point(), to_set(), and unite().

◆ manage_copy

basic_set manage_copy ( __isl_keep isl_basic_set * ptr )

friend

Definition at line 8347 of file cpp-checked.h.

References __isl_keep, basic_set(), isl_basic_set, isl_basic_set_copy(), and ptr.

Referenced by copy().

Member Data Documentation

◆ ptr

isl_basic_set * isl::basic_set::ptr = nullptr

protected

Definition at line 1591 of file cpp-checked.h.

Referenced by basic_set(), basic_set(), basic_set(), basic_set(), basic_set(), copy(), copy(), ctx(), get(), is_null(), manage, manage_copy, release(), and ~basic_set().

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

Public Member Functions

Protected Member Functions

Protected Attributes

Friends

Detailed Description

Constructor & Destructor Documentation

◆ basic_set() [1/5]

◆ basic_set() [2/5]

◆ basic_set() [3/5]

◆ basic_set() [4/5]

◆ basic_set() [5/5]

◆ ~basic_set()

Member Function Documentation

◆ affine_hull()

◆ apply() [1/3]

◆ apply() [2/3]

◆ apply() [3/3]

◆ as_pw_multi_aff()

◆ as_set()

◆ bind()

◆ coalesce()

◆ complement()

◆ compute_divs()

◆ copy() [1/2]

◆ copy() [2/2]

◆ ctx()

◆ detect_equalities()

◆ dim_max_val()

◆ dim_min_val()

◆ drop_unused_params()

◆ every_set()

◆ extract_set()

◆ flatten()

◆ foreach_basic_set()

◆ foreach_point()

◆ foreach_set()

◆ get()

◆ gist() [1/4]

◆ gist() [2/4]

◆ gist() [3/4]

◆ gist() [4/4]

◆ gist_params()

◆ identity()

◆ indicator_function()

◆ insert_domain()

◆ intersect() [1/4]

◆ intersect() [2/4]

◆ intersect() [3/4]

◆ intersect() [4/4]

◆ intersect_params() [1/3]

◆ intersect_params() [2/3]

◆ intersect_params() [3/3]

◆ involves_locals()

◆ is_disjoint() [1/2]

◆ is_disjoint() [2/2]

◆ is_empty()

◆ is_equal() [1/4]

◆ is_equal() [2/4]

◆ is_equal() [3/4]

◆ is_equal() [4/4]

◆ is_null()

◆ is_singleton()

◆ is_strict_subset() [1/2]

◆ is_strict_subset() [2/2]

◆ is_subset() [1/4]

◆ is_subset() [2/4]

◆ is_subset() [3/4]

◆ is_subset() [4/4]

◆ is_wrapping()

◆ isa_set()

◆ lattice_tile()

◆ lexmax()

◆ lexmax_pw_multi_aff()

◆ lexmin()

◆ lexmin_pw_multi_aff()

◆ lower_bound() [1/2]

◆ lower_bound() [2/2]

◆ max_multi_pw_aff()

◆ max_val()

◆ min_multi_pw_aff()