isl::typed::set< Domain > Struct Template Reference

#include <typed_cpp.h>

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

Public Member Functions
	set ()=default
template<typename Arg1, typename std::enable_if< std::is_base_of< Domain, Arg1 >{}, bool >::type = true>
	set (const set< Arg1 > &obj)
	set (const typed::basic_set< Domain > &bset)
	set (const typed::point< Domain > &pnt)
	set (const isl::ctx &ctx, const std::string &str)
template<typename Range>
typed::set< Range >	apply (const typed::map< Domain, Range > &map) const
template<typename Range>
typed::union_set< Range >	apply (const typed::union_map< Domain, Range > &umap) const
template<typename Range>
typed::set< Range >	apply (const typed::basic_map< Domain, Range > &map) const
typed::pw_multi_aff< Domain >	as_pw_multi_aff () const
typed::set< Domain >	as_set () const
typed::set	bind (const typed::multi_id< Domain > &tuple) const
typed::set< Domain >	coalesce () const
typed::set< Domain >	detect_equalities () const
typed::set< Domain >	drop_unused_params () const
bool	every_set (const std::function< bool(typed::set< Domain >)> &test) const
typed::set< Domain >	extract_set (const typed::space< Domain > &space) const
void	foreach_basic_set (const std::function< void(typed::basic_set< Domain >)> &fn) const
void	foreach_point (const std::function< void(typed::point< Domain >)> &fn) const
void	foreach_set (const std::function< void(typed::set< Domain >)> &fn) const
typed::set< Domain >	gist (const typed::set< Domain > &context) const
typed::union_set< Domain >	gist (const typed::union_set< Domain > &context) const
typed::set< Domain >	gist (const typed::basic_set< Domain > &context) const
typed::set< Domain >	gist (const typed::point< Domain > &context) const
typed::set< Domain >	gist_params (const typed::set<> &context) const
typed::set< Domain >	gist_params (const typed::basic_set<> &context) const
typed::set< Domain >	gist_params (const typed::point<> &context) const
typed::map< Domain, Domain >	identity () const
typed::pw_aff< Domain, Anonymous >	indicator_function () const
template<typename Arg1>
typed::map< Arg1, Domain >	insert_domain (const typed::space< Arg1 > &domain) const
typed::set< Domain >	intersect (const typed::set< Domain > &set2) const
typed::union_set< Domain >	intersect (const typed::union_set< Domain > &uset2) const
typed::set< Domain >	intersect (const typed::basic_set< Domain > &set2) const
typed::set< Domain >	intersect (const typed::point< Domain > &set2) const
typed::set< Domain >	intersect_params (const typed::set<> &params) const
typed::set< Domain >	intersect_params (const typed::basic_set<> &params) const
typed::set< Domain >	intersect_params (const typed::point<> &params) const
typed::fixed_box< Domain >	lattice_tile () const
typed::fixed_box< Domain >	get_lattice_tile () const =delete
typed::set< Domain >	lexmax () const
typed::pw_multi_aff< Domain >	lexmax_pw_multi_aff () const
typed::set< Domain >	lexmin () const
typed::pw_multi_aff< Domain >	lexmin_pw_multi_aff () const
typed::set< Domain >	lower_bound (const typed::multi_pw_aff< Domain > &lower) const
typed::set< Domain >	lower_bound (const typed::multi_val< Domain > &lower) const
typed::multi_pw_aff< Domain >	max_multi_pw_aff () const
typed::val< Domain >	max_val (const typed::aff<> &obj) const =delete
typed::multi_pw_aff< Domain >	min_multi_pw_aff () const
typed::val< Domain >	min_val (const typed::aff<> &obj) const =delete
typed::pw_aff< Domain, Anonymous >	param_pw_aff_on_domain (const typed::id< Anonymous > &id) const
typed::pw_aff< Domain, Anonymous >	param_pw_aff_on_domain (const std::string &id) const
typed::set	params () const
typed::multi_val< Domain >	plain_multi_val_if_fixed () const
typed::multi_val< Domain >	get_plain_multi_val_if_fixed () const =delete
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::multi_aff< Domain2, Domain > &ma) const
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::multi_pw_aff< Domain2, Domain > &mpa) const
template<typename Domain2>
typed::set< Domain2 >	preimage (const typed::pw_multi_aff< Domain2, Domain > &pma) const
template<typename Domain2>
typed::union_set< Domain2 >	preimage (const typed::union_pw_multi_aff< Domain2, Domain > &upma) const
template<typename Range>
typed::set< pair< Domain, Range > >	product (const typed::set< Range > &set2) const
template<typename Range>
typed::set< pair< Domain, Range > >	product (const typed::basic_set< Range > &set2) const
template<typename Range>
typed::set< pair< Domain, Range > >	product (const typed::point< Range > &set2) const
typed::set< Domain >	project_out_all_params () const
typed::set< Domain >	project_out_param (const typed::id< Anonymous > &id) const
typed::set< Domain >	project_out_param (const std::string &id) const
typed::set< Domain >	project_out_param (const typed::id_list< Anonymous > &list) const
typed::pw_aff< Domain, Anonymous >	pw_aff_on_domain (const typed::val< Anonymous > &v) const
typed::pw_aff< Domain, Anonymous >	pw_aff_on_domain (long v) const
template<typename Range>
typed::pw_multi_aff< Domain, Range >	pw_multi_aff_on_domain (const typed::multi_val< Range > &mv) const
typed::set_list< Domain >	set_list () const
typed::fixed_box< Domain >	simple_fixed_box_hull () const
typed::fixed_box< Domain >	get_simple_fixed_box_hull () const =delete
typed::space< Domain >	space () const
typed::space< Domain >	get_space () const =delete
typed::val< Domain >	get_stride (int pos) const =delete
typed::set< Domain >	subtract (const typed::set< Domain > &set2) const
typed::union_set< Domain >	subtract (const typed::union_set< Domain > &uset2) const
typed::set< Domain >	subtract (const typed::basic_set< Domain > &set2) const
typed::set< Domain >	subtract (const typed::point< Domain > &set2) const
typed::union_set< Domain >	to_union_set () const
typed::map< Domain, Domain >	translation () const
typed::set< Domain >	unbind_params (const typed::multi_id<> &tuple) const =delete
template<typename Arg1>
typed::map< Arg1, Domain >	unbind_params_insert_domain (const typed::multi_id< Arg1 > &domain) const
typed::set< Domain >	unite (const typed::set< Domain > &set2) const
typed::union_set< Domain >	unite (const typed::union_set< Domain > &uset2) const
typed::set< Domain >	unite (const typed::basic_set< Domain > &set2) const
typed::set< Domain >	unite (const typed::point< Domain > &set2) const
typed::map< Domain >	unwrap () const =delete
typed::set< Domain >	upper_bound (const typed::multi_pw_aff< Domain > &upper) const
typed::set< Domain >	upper_bound (const typed::multi_val< Domain > &upper) const
typed::set< Domain >	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< Domain >	universe (const typed::space< Domain > &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

template<typename Domain>
struct isl::typed::set< Domain >

Definition at line 9566 of file typed_cpp.h.

Constructor & Destructor Documentation

set() [1/6]

template<typename Domain>

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

default

set() [2/6]

template<typename Domain>

template<typename Arg1, typename std::enable_if< std::is_base_of< Domain, Arg1 >{}, bool >::type = true>

isl::typed::set< Domain >::set ( const set< Arg1 > & obj )

inline

Definition at line 9633 of file typed_cpp.h.

References obj, and set.

set() [3/6]

template<typename Domain>

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

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

inlineprivate

Definition at line 9638 of file typed_cpp.h.

References obj, and set.

set() [4/6]

template<typename Domain>

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

inline

set() [5/6]

template<typename Domain>

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

inline

set() [6/6]

template<typename Domain>

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

inlineexplicit

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

Member Function Documentation

apply() [1/3]

template<typename Domain>

template<typename Range>

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

inline

References map.

apply() [2/3]

template<typename Domain>

template<typename Range>

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

inline

References map.

apply() [3/3]

template<typename Domain>

template<typename Range>

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

inline

as_pw_multi_aff()

template<typename Domain>

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

inline

as_set()

template<typename Domain>

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

inline

bind()

template<typename Domain>

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

inline

References tuple.

coalesce()

template<typename Domain>

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

inline

detect_equalities()

template<typename Domain>

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

inline

drop_unused_params()

template<typename Domain>

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

inline

every_set()

template<typename Domain>

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

inline

References test.

extract_set()

template<typename Domain>

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

inline

References space.

foreach_basic_set()

template<typename Domain>

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

inline

References fn.

foreach_point()

template<typename Domain>

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

inline

References fn.

foreach_set()

template<typename Domain>

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

inline

References fn.

from()

template<typename Domain>

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

inlinestatic

Definition at line 9640 of file typed_cpp.h.

References obj, isl::set, and set.

get_lattice_tile()

template<typename Domain>

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

inlinedelete

get_plain_multi_val_if_fixed()

template<typename Domain>

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

inlinedelete

get_simple_fixed_box_hull()

template<typename Domain>

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

inlinedelete

get_space()

template<typename Domain>

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

inlinedelete

get_stride()

template<typename Domain>

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

inlinedelete

References pos().

gist() [1/4]

template<typename Domain>

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

inline

References context.

gist() [2/4]

template<typename Domain>

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

inline

References context.

gist() [3/4]

template<typename Domain>

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

inline

References context.

gist() [4/4]

template<typename Domain>

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

inline

References context.

gist_params() [1/3]

template<typename Domain>

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

inline

References context.

gist_params() [2/3]

template<typename Domain>

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

inline

References context.

gist_params() [3/3]

template<typename Domain>

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

inline

References context.

identity()

template<typename Domain>

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

inline

indicator_function()

template<typename Domain>

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

inline

insert_domain()

template<typename Domain>

template<typename Arg1>

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

inline

References domain.

intersect() [1/4]

template<typename Domain>

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

inline

References set2.

intersect() [2/4]

template<typename Domain>

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

inline

References set2.

intersect() [3/4]

template<typename Domain>

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

inline

References set2.

intersect() [4/4]

template<typename Domain>

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

inline

intersect_params() [1/3]

template<typename Domain>

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

inline

References params().

intersect_params() [2/3]

template<typename Domain>

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

inline

References params().

intersect_params() [3/3]

template<typename Domain>

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

inline

References params().

lattice_tile()

template<typename Domain>

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

inline

lexmax()

template<typename Domain>

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

inline

lexmax_pw_multi_aff()

template<typename Domain>

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

inline

lexmin()

template<typename Domain>

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

inline

lexmin_pw_multi_aff()

template<typename Domain>

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

inline

lower_bound() [1/2]

template<typename Domain>

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

inline

lower_bound() [2/2]

template<typename Domain>

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

inline

max_multi_pw_aff()

template<typename Domain>

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

inline

max_val()

template<typename Domain>

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

inlinedelete

References obj.

min_multi_pw_aff()

template<typename Domain>

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

inline

min_val()

template<typename Domain>

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

inlinedelete

References obj.

param_pw_aff_on_domain() [1/2]

template<typename Domain>

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

inline

param_pw_aff_on_domain() [2/2]

template<typename Domain>

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

inline

params()

template<typename Domain>

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

inline

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

plain_multi_val_if_fixed()

template<typename Domain>

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

inline

preimage() [1/4]

template<typename Domain>

template<typename Domain2>

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

inline

References ma.

preimage() [2/4]

template<typename Domain>

template<typename Domain2>

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

inline

preimage() [3/4]

template<typename Domain>

template<typename Domain2>

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

inline

References pma.

preimage() [4/4]

template<typename Domain>

template<typename Domain2>

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

inline

product() [1/3]

template<typename Domain>

template<typename Range>

typed::set< pair< Domain, Range > > isl::typed::set< Domain >::product ( const typed::basic_set< Range > & set2 ) const

inline

References set2.

product() [2/3]

template<typename Domain>

template<typename Range>

typed::set< pair< Domain, Range > > isl::typed::set< Domain >::product ( const typed::point< Range > & set2 ) const

inline

References set2.

product() [3/3]

template<typename Domain>

template<typename Range>

typed::set< pair< Domain, Range > > isl::typed::set< Domain >::product ( const typed::set< Range > & set2 ) const

inline

References set2.

project_out_all_params()

template<typename Domain>

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

inline

project_out_param() [1/3]

template<typename Domain>

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

inline

project_out_param() [2/3]

template<typename Domain>

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

inline

project_out_param() [3/3]

template<typename Domain>

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

inline

pw_aff_on_domain() [1/2]

template<typename Domain>

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

inline

pw_aff_on_domain() [2/2]

template<typename Domain>

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

inline

pw_multi_aff_on_domain()

template<typename Domain>

template<typename Range>

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

inline

set_list()

template<typename Domain>

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

inline

simple_fixed_box_hull()

template<typename Domain>

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

inline

space()

template<typename Domain>

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

inline

subtract() [1/4]

template<typename Domain>

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

inline

References set2.

subtract() [2/4]

template<typename Domain>

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

inline

References set2.

subtract() [3/4]

template<typename Domain>

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

inline

References set2.

subtract() [4/4]

template<typename Domain>

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

inline

to_union_set()

template<typename Domain>

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

inline

translation()

template<typename Domain>

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

inline

unbind_params()

template<typename Domain>

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

inlinedelete

References tuple.

unbind_params_insert_domain()

template<typename Domain>

template<typename Arg1>

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

inline

References domain.

unite() [1/4]

template<typename Domain>

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

inline

References set2.

unite() [2/4]

template<typename Domain>

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

inline

References set2.

unite() [3/4]

template<typename Domain>

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

inline

References set2.

unite() [4/4]

template<typename Domain>

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

inline

universe()

template<typename Domain>

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

inlinestatic

References space.

unwrap()

template<typename Domain>

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

inlinedelete

upper_bound() [1/2]

template<typename Domain>

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

inline

upper_bound() [2/2]

template<typename Domain>

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

inline

wrapped_reverse()

template<typename Domain>

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

inlinedelete

Friends And Related Symbol Documentation

aff

template<typename Domain>

template<typename...>

friend struct aff

friend

Definition at line 9568 of file typed_cpp.h.

References aff.

Referenced by aff.

aff_list

template<typename Domain>

template<typename...>

friend struct aff_list

friend

Definition at line 9570 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

basic_map

template<typename Domain>

template<typename...>

friend struct basic_map

friend

Definition at line 9572 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

basic_set

template<typename Domain>

template<typename...>

friend struct basic_set

friend

Definition at line 9574 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

fixed_box

template<typename Domain>

template<typename...>

friend struct fixed_box

friend

Definition at line 9576 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

id

template<typename Domain>

template<typename...>

friend struct id

friend

Definition at line 9578 of file typed_cpp.h.

References id.

Referenced by id.

id_list

template<typename Domain>

template<typename...>

friend struct id_list

friend

Definition at line 9580 of file typed_cpp.h.

References id_list.

Referenced by id_list.

map

template<typename Domain>

template<typename...>

friend struct map

friend

Definition at line 9582 of file typed_cpp.h.

References map.

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

map_list

template<typename Domain>

template<typename...>

friend struct map_list

friend

Definition at line 9584 of file typed_cpp.h.

References map_list.

Referenced by map_list.

multi_aff

template<typename Domain>

template<typename...>

friend struct multi_aff

friend

Definition at line 9586 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

multi_id

template<typename Domain>

template<typename...>

friend struct multi_id

friend

Definition at line 9588 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

multi_pw_aff

template<typename Domain>

template<typename...>

friend struct multi_pw_aff

friend

Definition at line 9590 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

multi_union_pw_aff

template<typename Domain>

template<typename...>

friend struct multi_union_pw_aff

friend

Definition at line 9592 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

multi_val

template<typename Domain>

template<typename...>

friend struct multi_val

friend

Definition at line 9594 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

point

template<typename Domain>

template<typename...>

friend struct point

friend

Definition at line 9596 of file typed_cpp.h.

References point.

Referenced by point.

pw_aff

template<typename Domain>

template<typename...>

friend struct pw_aff

friend

Definition at line 9598 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

pw_aff_list

template<typename Domain>

template<typename...>

friend struct pw_aff_list

friend

Definition at line 9600 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

pw_multi_aff

template<typename Domain>

template<typename...>

friend struct pw_multi_aff

friend

Definition at line 9602 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

pw_multi_aff_list

template<typename Domain>

template<typename...>

friend struct pw_multi_aff_list

friend

Definition at line 9604 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

set

template<typename Domain>

template<typename...>

friend struct set

friend

Definition at line 9606 of file typed_cpp.h.

References set.

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

set_list

template<typename Domain>

template<typename...>

friend struct set_list

friend

Definition at line 9608 of file typed_cpp.h.

References set_list.

Referenced by set_list.

space

template<typename Domain>

template<typename...>

friend struct space

friend

Definition at line 9610 of file typed_cpp.h.

References space.

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

union_map

template<typename Domain>

template<typename...>

friend struct union_map

friend

Definition at line 9612 of file typed_cpp.h.

References union_map.

Referenced by union_map.

union_pw_aff

template<typename Domain>

template<typename...>

friend struct union_pw_aff

friend

Definition at line 9614 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

union_pw_aff_list

template<typename Domain>

template<typename...>

friend struct union_pw_aff_list

friend

Definition at line 9616 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

union_pw_multi_aff

template<typename Domain>

template<typename...>

friend struct union_pw_multi_aff

friend

Definition at line 9618 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

union_set

template<typename Domain>

template<typename...>

friend struct union_set

friend

Definition at line 9620 of file typed_cpp.h.

References union_set.

Referenced by union_set.

union_set_list

template<typename Domain>

template<typename...>

friend struct union_set_list

friend

Definition at line 9622 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

val

template<typename Domain>

template<typename...>

friend struct val

friend

Definition at line 9624 of file typed_cpp.h.

References val.

Referenced by val.

val_list

template<typename Domain>

template<typename...>

friend struct val_list

friend

Definition at line 9626 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