#include <typed_cpp.h>

Inheritance diagram for isl::typed::set<>:

Public Member Functions
	set ()=default
	set (const typed::basic_set<> &bset)
	set (const typed::point<> &pnt)
	set (const isl::ctx &ctx, const std::string &str)
typed::set	apply (const typed::map<> &map) const =delete
typed::union_set	apply (const typed::union_map<> &umap) const =delete
typed::set	apply (const typed::basic_map<> &map) const =delete
typed::pw_multi_aff	as_pw_multi_aff () const =delete
typed::set	as_set () const =delete
typed::set	bind (const typed::multi_id<> &tuple) const =delete
typed::set	coalesce () const
typed::set	detect_equalities () const
typed::set	drop_unused_params () const
bool	every_set (const std::function< bool(typed::set<>)> &test) const
typed::set	extract_set (const typed::space<> &space) const
void	foreach_basic_set (const std::function< void(typed::basic_set<>)> &fn) const
void	foreach_point (const std::function< void(typed::point<>)> &fn) const
void	foreach_set (const std::function< void(typed::set<>)> &fn) const
typed::set	gist (const typed::set<> &context) const
typed::union_set	gist (const typed::union_set<> &context) const
typed::set	gist (const typed::basic_set<> &context) const
typed::set	gist (const typed::point<> &context) const
typed::set	gist_params (const typed::set<> &context) const =delete
typed::set	gist_params (const typed::basic_set<> &context) const =delete
typed::set	gist_params (const typed::point<> &context) const =delete
typed::map	identity () const =delete
typed::pw_aff< Anonymous >	indicator_function () const
typed::map	insert_domain (const typed::space<> &domain) const =delete
typed::set	intersect (const typed::set<> &set2) const
typed::union_set	intersect (const typed::union_set<> &uset2) const
typed::set	intersect (const typed::basic_set<> &set2) const
typed::set	intersect (const typed::point<> &set2) const
typed::set	intersect_params (const typed::set<> &params) const =delete
typed::set	intersect_params (const typed::basic_set<> &params) const =delete
typed::set	intersect_params (const typed::point<> &params) const =delete
typed::fixed_box	lattice_tile () const =delete
typed::fixed_box	get_lattice_tile () const =delete
typed::set	lexmax () const =delete
typed::pw_multi_aff	lexmax_pw_multi_aff () const =delete
typed::set	lexmin () const =delete
typed::pw_multi_aff	lexmin_pw_multi_aff () const =delete
typed::set	lower_bound (const typed::multi_pw_aff<> &lower) const =delete
typed::set	lower_bound (const typed::multi_val<> &lower) const =delete
typed::multi_pw_aff	max_multi_pw_aff () const =delete
typed::val	max_val (const typed::aff<> &obj) const =delete
typed::multi_pw_aff	min_multi_pw_aff () const =delete
typed::val	min_val (const typed::aff<> &obj) const =delete
typed::pw_aff< Anonymous >	param_pw_aff_on_domain (const typed::id< Anonymous > &id) const
typed::pw_aff< Anonymous >	param_pw_aff_on_domain (const std::string &id) const
typed::set	params () const =delete
typed::multi_val	plain_multi_val_if_fixed () const =delete
typed::multi_val	get_plain_multi_val_if_fixed () const =delete
typed::set	preimage (const typed::multi_aff<> &ma) const =delete
typed::set	preimage (const typed::multi_pw_aff<> &mpa) const =delete
typed::set	preimage (const typed::pw_multi_aff<> &pma) const =delete
typed::union_set	preimage (const typed::union_pw_multi_aff<> &upma) const =delete
typed::set	product (const typed::set<> &set2) const =delete
typed::set	product (const typed::basic_set<> &set2) const =delete
typed::set	product (const typed::point<> &set2) const =delete
typed::set	project_out_all_params () const
typed::set	project_out_param (const typed::id< Anonymous > &id) const
typed::set	project_out_param (const std::string &id) const
typed::set	project_out_param (const typed::id_list< Anonymous > &list) const
typed::pw_aff< Anonymous >	pw_aff_on_domain (const typed::val< Anonymous > &v) const
typed::pw_aff< Anonymous >	pw_aff_on_domain (long v) const
template<typename Domain>
typed::pw_multi_aff< Domain >	pw_multi_aff_on_domain (const typed::multi_val< Domain > &mv) const
typed::set_list	set_list () const
typed::fixed_box	simple_fixed_box_hull () const =delete
typed::fixed_box	get_simple_fixed_box_hull () const =delete
typed::space	space () const
typed::space	get_space () const =delete
typed::val	get_stride (int pos) const =delete
typed::set	subtract (const typed::set<> &set2) const
typed::union_set	subtract (const typed::union_set<> &uset2) const
typed::set	subtract (const typed::basic_set<> &set2) const
typed::set	subtract (const typed::point<> &set2) const
typed::union_set	to_union_set () const
typed::map	translation () const =delete
template<typename Domain>
typed::set< Domain >	unbind_params (const typed::multi_id< Domain > &tuple) const
typed::map	unbind_params_insert_domain (const typed::multi_id<> &domain) const =delete
typed::set	unite (const typed::set<> &set2) const
typed::union_set	unite (const typed::union_set<> &uset2) const
typed::set	unite (const typed::basic_set<> &set2) const
typed::set	unite (const typed::point<> &set2) const
typed::map	unwrap () const =delete
typed::set	upper_bound (const typed::multi_pw_aff<> &upper) const =delete
typed::set	upper_bound (const typed::multi_val<> &upper) const =delete
typed::set	wrapped_reverse () const =delete
Public Member Functions inherited from isl::checked::set
	set ()
	set (const set &obj)
	set (isl::checked::basic_set bset)
	set (isl::checked::point pnt)
	set (isl::checked::ctx ctx, const std::string &str)
set &	operator= (set obj)
	~set ()
__isl_give isl_set *	copy () const &
__isl_give isl_set *	copy () &&=delete
__isl_keep isl_set *	get () const
__isl_give isl_set *	release ()
bool	is_null () const
isl::checked::ctx	ctx () const
isl::checked::basic_set	affine_hull () const
isl::checked::set	apply (isl::checked::map map) const
isl::checked::union_set	apply (const isl::checked::union_map &umap) const
isl::checked::set	apply (const isl::checked::basic_map &map) const
isl::checked::pw_multi_aff	as_pw_multi_aff () const
isl::checked::set	as_set () const
isl::checked::set	bind (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::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::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::set	gist (isl::checked::set context) const
isl::checked::union_set	gist (const isl::checked::union_set &context) const
isl::checked::set	gist (const isl::checked::basic_set &context) const
isl::checked::set	gist (const isl::checked::point &context) const
isl::checked::set	gist_params (isl::checked::set context) const
isl::checked::map	identity () const
isl::checked::pw_aff	indicator_function () const
isl::checked::map	insert_domain (isl::checked::space domain) const
isl::checked::set	intersect (isl::checked::set set2) const
isl::checked::union_set	intersect (const isl::checked::union_set &uset2) const
isl::checked::set	intersect (const isl::checked::basic_set &set2) const
isl::checked::set	intersect (const isl::checked::point &set2) const
isl::checked::set	intersect_params (isl::checked::set params) 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_disjoint (const isl::checked::basic_set &set2) const
boolean	is_disjoint (const isl::checked::point &set2) const
boolean	is_empty () 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::basic_set &set2) const
boolean	is_equal (const isl::checked::point &set2) 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_strict_subset (const isl::checked::basic_set &set2) const
boolean	is_strict_subset (const isl::checked::point &set2) 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::basic_set &set2) const
boolean	is_subset (const isl::checked::point &set2) const
boolean	is_wrapping () const
boolean	isa_set () const
isl::checked::fixed_box	lattice_tile () const
isl::checked::fixed_box	get_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 (isl::checked::multi_pw_aff lower) const
isl::checked::set	lower_bound (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 (isl::checked::id id) const
isl::checked::pw_aff	param_pw_aff_on_domain (const std::string &id) const
isl::checked::set	params () const
isl::checked::multi_val	plain_multi_val_if_fixed () const
isl::checked::multi_val	get_plain_multi_val_if_fixed () const
isl::checked::basic_set	polyhedral_hull () const
isl::checked::set	preimage (isl::checked::multi_aff ma) const
isl::checked::set	preimage (isl::checked::multi_pw_aff mpa) const
isl::checked::set	preimage (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 (isl::checked::set set2) const
isl::checked::set	project_out_all_params () const
isl::checked::set	project_out_param (isl::checked::id id) const
isl::checked::set	project_out_param (const std::string &id) const
isl::checked::set	project_out_param (isl::checked::id_list list) const
isl::checked::pw_aff	pw_aff_on_domain (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 (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::fixed_box	get_simple_fixed_box_hull () const
isl::checked::space	space () const
isl::checked::space	get_space () const
isl::checked::val	stride (int pos) const
isl::checked::val	get_stride (int pos) const
isl::checked::set	subtract (isl::checked::set set2) const
isl::checked::union_set	subtract (const isl::checked::union_set &uset2) const
isl::checked::set	subtract (const isl::checked::basic_set &set2) const
isl::checked::set	subtract (const isl::checked::point &set2) const
isl::checked::set_list	to_list () const
isl::checked::union_set	to_union_set () const
isl::checked::map	translation () const
class size	tuple_dim () const
isl::checked::set	unbind_params (isl::checked::multi_id tuple) const
isl::checked::map	unbind_params_insert_domain (isl::checked::multi_id domain) const
isl::checked::set	unite (isl::checked::set set2) const
isl::checked::union_set	unite (const isl::checked::union_set &uset2) const
isl::checked::set	unite (const isl::checked::basic_set &set2) const
isl::checked::set	unite (const isl::checked::point &set2) const
isl::checked::basic_set	unshifted_simple_hull () const
isl::checked::map	unwrap () const
isl::checked::set	upper_bound (isl::checked::multi_pw_aff upper) const
isl::checked::set	upper_bound (isl::checked::multi_val upper) const
isl::checked::set	wrapped_reverse () const

Static Public Member Functions
static set	from (const isl::set &obj)
static typed::set	universe (const typed::space<> &space)
Static Public Member Functions inherited from isl::checked::set
static isl::checked::set	empty (isl::checked::space space)
static isl::checked::set	universe (isl::checked::space space)

Private Member Functions
template<typename base, typename std::enable_if< std::is_same< base, isl::set >{}, bool >::type = true>
	set (const base &obj)

Friends
template<typename...>
struct	aff
template<typename...>
struct	aff_list
template<typename...>
struct	basic_map
template<typename...>
struct	basic_set
template<typename...>
struct	fixed_box
template<typename...>
struct	id
template<typename...>
struct	id_list
template<typename...>
struct	map
template<typename...>
struct	map_list
template<typename...>
struct	multi_aff
template<typename...>
struct	multi_id
template<typename...>
struct	multi_pw_aff
template<typename...>
struct	multi_union_pw_aff
template<typename...>
struct	multi_val
template<typename...>
struct	point
template<typename...>
struct	pw_aff
template<typename...>
struct	pw_aff_list
template<typename...>
struct	pw_multi_aff
template<typename...>
struct	pw_multi_aff_list
template<typename...>
struct	set
template<typename...>
struct	set_list
template<typename...>
struct	space
template<typename...>
struct	union_map
template<typename...>
struct	union_pw_aff
template<typename...>
struct	union_pw_aff_list
template<typename...>
struct	union_pw_multi_aff
template<typename...>
struct	union_set
template<typename...>
struct	union_set_list
template<typename...>
struct	val
template<typename...>
struct	val_list

Additional Inherited Members
Protected Member Functions inherited from isl::checked::set
	set (__isl_take isl_set *ptr)
Protected Attributes inherited from isl::checked::set
isl_set *	ptr = nullptr

Detailed Description

Definition at line 9401 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ set() [1/5]

isl::typed::set<>::set ( )

default

◆ set() [2/5]

template<typename base, typename std::enable_if< std::is_same< base, isl::set >{}, bool >::type = true>

isl::typed::set<>::set ( const base & obj )

inlineprivate

Definition at line 9468 of file typed_cpp.h.

References obj, and set.

◆ set() [3/5]

isl::typed::set<>::set ( const typed::basic_set<> & bset )

inline

◆ set() [4/5]

isl::typed::set<>::set ( const typed::point<> & pnt )

inline

◆ set() [5/5]

isl::typed::set<>::set	(	const isl::ctx &	ctx,
		const std::string &	str )

inlineexplicit

References isl::checked::set::ctx(), and str.

Member Function Documentation

◆ apply() [1/3]

typed::set isl::typed::set<>::apply ( const typed::basic_map<> & map ) const

inlinedelete

References map.

◆ apply() [2/3]

typed::set isl::typed::set<>::apply ( const typed::map<> & map ) const

inlinedelete

References map.

◆ apply() [3/3]

typed::union_set isl::typed::set<>::apply ( const typed::union_map<> & umap ) const

inlinedelete

◆ as_pw_multi_aff()

typed::pw_multi_aff isl::typed::set<>::as_pw_multi_aff ( ) const

inlinedelete

◆ as_set()

typed::set isl::typed::set<>::as_set ( ) const

inlinedelete

◆ bind()

typed::set isl::typed::set<>::bind ( const typed::multi_id<> & tuple ) const

inlinedelete

References tuple.

◆ coalesce()

typed::set isl::typed::set<>::coalesce ( ) const

inline

◆ detect_equalities()

typed::set isl::typed::set<>::detect_equalities ( ) const

inline

◆ drop_unused_params()

typed::set isl::typed::set<>::drop_unused_params ( ) const

inline

◆ every_set()

bool isl::typed::set<>::every_set ( const std::function< bool(typed::set<>)> & test ) const

inline

References test.

◆ extract_set()

typed::set isl::typed::set<>::extract_set ( const typed::space<> & space ) const

inline

References space.

◆ foreach_basic_set()

void isl::typed::set<>::foreach_basic_set ( const std::function< void(typed::basic_set<>)> & fn ) const

inline

References fn.

◆ foreach_point()

void isl::typed::set<>::foreach_point ( const std::function< void(typed::point<>)> & fn ) const

inline

References fn.

◆ foreach_set()

void isl::typed::set<>::foreach_set ( const std::function< void(typed::set<>)> & fn ) const

inline

References fn.

◆ from()

set isl::typed::set<>::from ( const isl::set<> & obj )

inlinestatic

Definition at line 9470 of file typed_cpp.h.

References obj, isl::set, and set.

◆ get_lattice_tile()

typed::fixed_box isl::typed::set<>::get_lattice_tile ( ) const

inlinedelete

◆ get_plain_multi_val_if_fixed()

typed::multi_val isl::typed::set<>::get_plain_multi_val_if_fixed ( ) const

inlinedelete

◆ get_simple_fixed_box_hull()

typed::fixed_box isl::typed::set<>::get_simple_fixed_box_hull ( ) const

inlinedelete

◆ get_space()

typed::space isl::typed::set<>::get_space ( ) const

inlinedelete

◆ get_stride()

typed::val isl::typed::set<>::get_stride ( int pos ) const

inlinedelete

References pos().

◆ gist() [1/4]

typed::set isl::typed::set<>::gist ( const typed::basic_set<> & context ) const

inline

References context.

◆ gist() [2/4]

typed::set isl::typed::set<>::gist ( const typed::point<> & context ) const

inline

References context.

◆ gist() [3/4]

typed::set isl::typed::set<>::gist ( const typed::set<> & context ) const

inline

References context.

◆ gist() [4/4]

typed::union_set isl::typed::set<>::gist ( const typed::union_set<> & context ) const

inline

References context.

◆ gist_params() [1/3]

typed::set isl::typed::set<>::gist_params ( const typed::basic_set<> & context ) const

inlinedelete

References context.

◆ gist_params() [2/3]

typed::set isl::typed::set<>::gist_params ( const typed::point<> & context ) const

inlinedelete

References context.

◆ gist_params() [3/3]

typed::set isl::typed::set<>::gist_params ( const typed::set<> & context ) const

inlinedelete

References context.

◆ identity()

typed::map isl::typed::set<>::identity ( ) const

inlinedelete

◆ indicator_function()

typed::pw_aff< Anonymous > isl::typed::set<>::indicator_function ( ) const

inline

◆ insert_domain()

typed::map isl::typed::set<>::insert_domain ( const typed::space<> & domain ) const

inlinedelete

References domain.

◆ intersect() [1/4]

typed::set isl::typed::set<>::intersect ( const typed::basic_set<> & set2 ) const

inline

References set2.

◆ intersect() [2/4]

typed::set isl::typed::set<>::intersect ( const typed::point<> & set2 ) const

inline

References set2.

◆ intersect() [3/4]

typed::set isl::typed::set<>::intersect ( const typed::set<> & set2 ) const

inline

References set2.

◆ intersect() [4/4]

typed::union_set isl::typed::set<>::intersect ( const typed::union_set<> & uset2 ) const

inline

◆ intersect_params() [1/3]

typed::set isl::typed::set<>::intersect_params ( const typed::basic_set<> & params ) const

inlinedelete

References params().

◆ intersect_params() [2/3]

typed::set isl::typed::set<>::intersect_params ( const typed::point<> & params ) const

inlinedelete

References params().

◆ intersect_params() [3/3]

typed::set isl::typed::set<>::intersect_params ( const typed::set<> & params ) const

inlinedelete

References params().

◆ lattice_tile()

typed::fixed_box isl::typed::set<>::lattice_tile ( ) const

inlinedelete

◆ lexmax()

typed::set isl::typed::set<>::lexmax ( ) const

inlinedelete

◆ lexmax_pw_multi_aff()

typed::pw_multi_aff isl::typed::set<>::lexmax_pw_multi_aff ( ) const

inlinedelete

◆ lexmin()

typed::set isl::typed::set<>::lexmin ( ) const

inlinedelete

◆ lexmin_pw_multi_aff()

typed::pw_multi_aff isl::typed::set<>::lexmin_pw_multi_aff ( ) const

inlinedelete

◆ lower_bound() [1/2]

typed::set isl::typed::set<>::lower_bound ( const typed::multi_pw_aff<> & lower ) const

inlinedelete

◆ lower_bound() [2/2]

typed::set isl::typed::set<>::lower_bound ( const typed::multi_val<> & lower ) const

inlinedelete

◆ max_multi_pw_aff()

typed::multi_pw_aff isl::typed::set<>::max_multi_pw_aff ( ) const

inlinedelete

◆ max_val()

typed::val isl::typed::set<>::max_val ( const typed::aff<> & obj ) const

inlinedelete

References obj.

◆ min_multi_pw_aff()

typed::multi_pw_aff isl::typed::set<>::min_multi_pw_aff ( ) const

inlinedelete

◆ min_val()

typed::val isl::typed::set<>::min_val ( const typed::aff<> & obj ) const

inlinedelete

References obj.

◆ param_pw_aff_on_domain() [1/2]

typed::pw_aff< Anonymous > isl::typed::set<>::param_pw_aff_on_domain ( const std::string & id ) const

inline

◆ param_pw_aff_on_domain() [2/2]

typed::pw_aff< Anonymous > isl::typed::set<>::param_pw_aff_on_domain ( const typed::id< Anonymous > & id ) const

inline

◆ params()

typed::set isl::typed::set<>::params ( ) const

inlinedelete

Referenced by intersect_params(), intersect_params(), and intersect_params().

◆ plain_multi_val_if_fixed()

typed::multi_val isl::typed::set<>::plain_multi_val_if_fixed ( ) const

inlinedelete

◆ preimage() [1/4]

typed::set isl::typed::set<>::preimage ( const typed::multi_aff<> & ma ) const

inlinedelete

References ma.

◆ preimage() [2/4]

typed::set isl::typed::set<>::preimage ( const typed::multi_pw_aff<> & mpa ) const

inlinedelete

◆ preimage() [3/4]

typed::set isl::typed::set<>::preimage ( const typed::pw_multi_aff<> & pma ) const

inlinedelete

References pma.

◆ preimage() [4/4]

typed::union_set isl::typed::set<>::preimage ( const typed::union_pw_multi_aff<> & upma ) const

inlinedelete

◆ product() [1/3]

typed::set isl::typed::set<>::product ( const typed::basic_set<> & set2 ) const

inlinedelete

References set2.

◆ product() [2/3]

typed::set isl::typed::set<>::product ( const typed::point<> & set2 ) const

inlinedelete

References set2.

◆ product() [3/3]

typed::set isl::typed::set<>::product ( const typed::set<> & set2 ) const

inlinedelete

References set2.

◆ project_out_all_params()

typed::set isl::typed::set<>::project_out_all_params ( ) const

inline

◆ project_out_param() [1/3]

typed::set isl::typed::set<>::project_out_param ( const std::string & id ) const

inline

◆ project_out_param() [2/3]

typed::set isl::typed::set<>::project_out_param ( const typed::id< Anonymous > & id ) const

inline

◆ project_out_param() [3/3]

typed::set isl::typed::set<>::project_out_param ( const typed::id_list< Anonymous > & list ) const

inline

◆ pw_aff_on_domain() [1/2]

typed::pw_aff< Anonymous > isl::typed::set<>::pw_aff_on_domain ( const typed::val< Anonymous > & v ) const

inline

◆ pw_aff_on_domain() [2/2]

typed::pw_aff< Anonymous > isl::typed::set<>::pw_aff_on_domain ( long v ) const

inline

◆ pw_multi_aff_on_domain()

template<typename Domain>

typed::pw_multi_aff< Domain > isl::typed::set<>::pw_multi_aff_on_domain ( const typed::multi_val< Domain > & mv ) const

inline

◆ set_list()

typed::set_list isl::typed::set<>::set_list ( ) const

inline

◆ simple_fixed_box_hull()

typed::fixed_box isl::typed::set<>::simple_fixed_box_hull ( ) const

inlinedelete

◆ space()

typed::space isl::typed::set<>::space ( ) const

inline

◆ subtract() [1/4]

typed::set isl::typed::set<>::subtract ( const typed::basic_set<> & set2 ) const

inline

References set2.

◆ subtract() [2/4]

typed::set isl::typed::set<>::subtract ( const typed::point<> & set2 ) const

inline

References set2.

◆ subtract() [3/4]

typed::set isl::typed::set<>::subtract ( const typed::set<> & set2 ) const

inline

References set2.

◆ subtract() [4/4]

typed::union_set isl::typed::set<>::subtract ( const typed::union_set<> & uset2 ) const

inline

◆ to_union_set()

typed::union_set isl::typed::set<>::to_union_set ( ) const

inline

◆ translation()

typed::map isl::typed::set<>::translation ( ) const

inlinedelete

◆ unbind_params()

template<typename Domain>

typed::set< Domain > isl::typed::set<>::unbind_params ( const typed::multi_id< Domain > & tuple ) const

inline

References tuple.

◆ unbind_params_insert_domain()

typed::map isl::typed::set<>::unbind_params_insert_domain ( const typed::multi_id<> & domain ) const

inlinedelete

References domain.

◆ unite() [1/4]

typed::set isl::typed::set<>::unite ( const typed::basic_set<> & set2 ) const

inline

References set2.

◆ unite() [2/4]

typed::set isl::typed::set<>::unite ( const typed::point<> & set2 ) const

inline

References set2.

◆ unite() [3/4]

typed::set isl::typed::set<>::unite ( const typed::set<> & set2 ) const

inline

References set2.

◆ unite() [4/4]

typed::union_set isl::typed::set<>::unite ( const typed::union_set<> & uset2 ) const

inline

◆ universe()

typed::set isl::typed::set<>::universe ( const typed::space<> & space )

inlinestatic

References space.

◆ unwrap()

typed::map isl::typed::set<>::unwrap ( ) const

inlinedelete

◆ upper_bound() [1/2]

typed::set isl::typed::set<>::upper_bound ( const typed::multi_pw_aff<> & upper ) const

inlinedelete

◆ upper_bound() [2/2]

typed::set isl::typed::set<>::upper_bound ( const typed::multi_val<> & upper ) const

inlinedelete

◆ wrapped_reverse()

typed::set isl::typed::set<>::wrapped_reverse ( ) const

inlinedelete

◆ aff

template<typename...>

friend struct aff

friend

Definition at line 9403 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename...>

friend struct aff_list

friend

Definition at line 9405 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename...>

friend struct basic_map

friend

Definition at line 9407 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename...>

friend struct basic_set

friend

Definition at line 9409 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename...>

friend struct fixed_box

friend

Definition at line 9411 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename...>

friend struct id

friend

Definition at line 9413 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename...>

friend struct id_list

friend

Definition at line 9415 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename...>

friend struct map

friend

Definition at line 9417 of file typed_cpp.h.

References map.

Referenced by apply(), apply(), and map.

◆ map_list

template<typename...>

friend struct map_list

friend

Definition at line 9419 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename...>

friend struct multi_aff

friend

Definition at line 9421 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename...>

friend struct multi_id

friend

Definition at line 9423 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename...>

friend struct multi_pw_aff

friend

Definition at line 9425 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename...>

friend struct multi_union_pw_aff

friend

Definition at line 9427 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename...>

friend struct multi_val

friend

Definition at line 9429 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename...>

friend struct point

friend

Definition at line 9431 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename...>

friend struct pw_aff

friend

Definition at line 9433 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename...>

friend struct pw_aff_list

friend

Definition at line 9435 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename...>

friend struct pw_multi_aff

friend

Definition at line 9437 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename...>

friend struct pw_multi_aff_list

friend

Definition at line 9439 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename...>

friend struct set

friend

Definition at line 9441 of file typed_cpp.h.

References set.

Referenced by from(), set, and set().

◆ set_list

template<typename...>

friend struct set_list

friend

Definition at line 9443 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename...>

friend struct space

friend

Definition at line 9445 of file typed_cpp.h.

References space.

Referenced by extract_set(), space, and universe().

◆ union_map

template<typename...>

friend struct union_map

friend

Definition at line 9447 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename...>

friend struct union_pw_aff

friend

Definition at line 9449 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename...>

friend struct union_pw_aff_list

friend

Definition at line 9451 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename...>

friend struct union_pw_multi_aff

friend

Definition at line 9453 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename...>

friend struct union_set

friend

Definition at line 9455 of file typed_cpp.h.

References union_set.

Referenced by union_set.

◆ union_set_list

template<typename...>

friend struct union_set_list

friend

Definition at line 9457 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename...>

friend struct val

friend

Definition at line 9459 of file typed_cpp.h.

References val.

Referenced by val.

◆ val_list

template<typename...>

friend struct val_list

friend

Definition at line 9461 of file typed_cpp.h.

References val_list.

Referenced by val_list.

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

typed_cpp.h

Public Member Functions

Static Public Member Functions

Private Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ set() [1/5]

◆ set() [2/5]

◆ set() [3/5]

◆ set() [4/5]

◆ set() [5/5]

Member Function Documentation

◆ apply() [1/3]

◆ apply() [2/3]

◆ apply() [3/3]

◆ as_pw_multi_aff()

◆ as_set()

◆ bind()

◆ coalesce()

◆ detect_equalities()

◆ drop_unused_params()

◆ every_set()

◆ extract_set()

◆ foreach_basic_set()

◆ foreach_point()

◆ foreach_set()

◆ from()

◆ get_lattice_tile()

◆ get_plain_multi_val_if_fixed()

◆ get_simple_fixed_box_hull()

◆ get_space()

◆ get_stride()

◆ gist() [1/4]

◆ gist() [2/4]

◆ gist() [3/4]

◆ gist() [4/4]

◆ gist_params() [1/3]

◆ gist_params() [2/3]

◆ gist_params() [3/3]

◆ 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]

◆ 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()

◆ min_val()

◆ param_pw_aff_on_domain() [1/2]

◆ param_pw_aff_on_domain() [2/2]

◆ params()

◆ plain_multi_val_if_fixed()

◆ preimage() [1/4]

◆ preimage() [2/4]

◆ preimage() [3/4]

◆ preimage() [4/4]

◆ product() [1/3]

◆ product() [2/3]

◆ product() [3/3]

◆ project_out_all_params()

◆ project_out_param() [1/3]

◆ project_out_param() [2/3]

◆ project_out_param() [3/3]

◆ pw_aff_on_domain() [1/2]

◆ pw_aff_on_domain() [2/2]

◆ pw_multi_aff_on_domain()

◆ set_list()