Reference: Sets and Maps¶
Basic Set¶
-
class
islpy.
BasicSet
(s=None, context=None)¶ box_from_points()
(static)empty()
(static)from_constraint()
(static)from_constraint_matrices()
(static)from_multi_aff()
(static)from_point()
(static)
nat_universe()
(static)positive_orthant()
(static)read_from_str()
(static)universe()
(static)
-
__eq__
(other)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(other)¶ Return self!=value.
-
add_constraint
(self, constraint)¶ - Parameters
self –
BasicSet
constraint –
Constraint
- Returns
-
add_constraints
(constraints)¶ New in version 2011.3.
-
apply_pw_qpolynomial_fold
(self, pwf)¶ - Parameters
self –
Set
pwf –
PwQPolynomialFold
- Returns
tuple: (
PwQPolynomialFold
, tight (Bool))
-
apply_union_pw_qpolynomial_fold
(self, upwf)¶ - Parameters
self –
UnionSet
upwf –
UnionPwQPolynomialFold
- Returns
tuple: (
UnionPwQPolynomialFold
, tight (Bool))
-
compute_schedule
(self, validity, proximity)¶
-
dim_has_any_lower_bound
(self, type, pos)¶
-
dim_has_any_upper_bound
(self, type, pos)¶
-
dim_has_lower_bound
(self, type, pos)¶
-
dim_has_upper_bound
(self, type, pos)¶
-
dim_residue_class_val
(self, pos)¶
-
drop_constraints_involving_dims
(self, type, first, n)¶
-
drop_constraints_not_involving_dims
(self, type, first, n)¶
-
eliminate
(self, type, first, n)¶
-
eliminate_except
(names, types)¶ - Parameters
types – list of
dim_type
determining the types of axes to eliminatenames – names of axes matching the above which should be left alone by the eliminate
New in version 2011.3.
-
equalities_matrix
(self, c1, c2, c3, c4)¶
-
equate
(self, type1, pos1, type2, pos2)¶
-
fix_val
(self, type, pos, v)¶
-
foreach_bound_pair
(self, type, pos, fn)¶
-
static
from_constraint
(constraint)¶ - Parameters
constraint –
Constraint
- Returns
-
static
from_constraint_matrices
(space, eq, ineq, c1, c2, c3, c4)¶
-
get_constraints
()¶ Get a list of constraints.
-
get_dim_name
(self, type, pos)¶
-
get_id_dict
(dimtype=None)¶ Return a dictionary mapping
Id
instances to tuples of (dim_type
, index).- Parameters
dimtype – None to get all variables, otherwise one of
dim_type
.
-
get_stride_info
(self, pos)¶ - Parameters
- Returns
-
get_var_dict
(dimtype=None)¶ Return a dictionary mapping variable names to tuples of (
dim_type
, index).- Parameters
dimtype – None to get all variables, otherwise one of
dim_type
.
-
inequalities_matrix
(self, c1, c2, c3, c4)¶
-
insert_dims
(self, type, pos, n)¶
-
involves_dims
(self, type, first, n)¶
-
lower_bound_multi_pw_aff
(self, lower)¶ - Parameters
self –
Set
lower –
MultiPwAff
- Returns
-
lower_bound_val
(self, type, pos, value)¶
-
min_multi_union_pw_aff
(self, obj)¶ - Parameters
self –
UnionSet
obj –
MultiUnionPwAff
- Returns
-
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶
-
partial_lexmax
(self, dom)¶
-
partial_lexmax_pw_multi_aff
(self, dom)¶ - Parameters
- Returns
tuple: (
PwMultiAff
, empty (Set
))
-
partial_lexmin
(self, dom)¶
-
partial_lexmin_pw_multi_aff
(self, dom)¶ - Parameters
- Returns
tuple: (
PwMultiAff
, empty (Set
))
-
plain_get_val_if_fixed
(self, type, pos)¶
-
preimage_multi_pw_aff
(self, mpa)¶ - Parameters
self –
Set
mpa –
MultiPwAff
- Returns
-
preimage_pw_multi_aff
(self, pma)¶ - Parameters
self –
Set
pma –
PwMultiAff
- Returns
-
preimage_union_pw_multi_aff
(self, upma)¶ - Parameters
self –
UnionSet
upma –
UnionPwMultiAff
- Returns
-
project_onto_map
(self, type, first, n)¶
-
project_out
(self, type, first, n)¶
-
project_out_except
(names, types)¶ - Parameters
types – list of
dim_type
determining the types of axes to project outnames – names of axes matching the above which should be left alone by the projection
New in version 2011.3.
-
pw_multi_aff_on_domain_multi_val
(self, mv)¶ - Parameters
- Returns
-
remove_dims
(self, type, first, n)¶
-
remove_divs_involving_dims
(self, type, first, n)¶
-
set_dim_id
(self, type, pos, id)¶
-
set_dim_name
(self, type, pos, s)¶
-
split_dims
(self, type, first, n)¶
-
unshifted_simple_hull_from_set_list
(self, list)¶
-
upper_bound_multi_pw_aff
(self, upper)¶ - Parameters
self –
Set
upper –
MultiPwAff
- Returns
-
upper_bound_val
(self, type, pos, value)¶
Basic Map¶
-
class
islpy.
BasicMap
(s=None, context=None)¶ empty()
(static)equal()
(static)from_aff()
(static)from_aff_list()
(static)from_constraint()
(static)from_constraint_matrices()
(static)from_domain()
(static)from_domain_and_range()
(static)from_multi_aff()
(static)from_qpolynomial()
(static)from_range()
(static)identity()
(static)
less_at()
(static)more_at()
(static)nat_universe()
(static)read_from_str()
(static)universe()
(static)
-
__eq__
(other)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(other)¶ Return self!=value.
-
add_constraint
(self, constraint)¶ - Parameters
self –
BasicMap
constraint –
Constraint
- Returns
-
add_constraints
(constraints)¶ New in version 2011.3.
-
apply_pw_qpolynomial_fold
(self, pwf)¶ - Parameters
self –
Map
pwf –
PwQPolynomialFold
- Returns
tuple: (
PwQPolynomialFold
, tight (Bool))
-
apply_union_pw_qpolynomial_fold
(self, upwf)¶ - Parameters
self –
UnionMap
upwf –
UnionPwQPolynomialFold
- Returns
tuple: (
UnionPwQPolynomialFold
, tight (Bool))
-
compute_flow
(self, must_source, may_source, schedule)¶
-
drop_constraints_involving_dims
(self, type, first, n)¶
-
drop_constraints_not_involving_dims
(self, type, first, n)¶
-
eliminate
(self, type, first, n)¶
-
eq_at_multi_pw_aff
(self, mpa)¶ - Parameters
self –
Map
mpa –
MultiPwAff
- Returns
-
eq_at_multi_union_pw_aff
(self, mupa)¶ - Parameters
self –
UnionMap
mupa –
MultiUnionPwAff
- Returns
-
equalities_matrix
(self, c1, c2, c3, c4, c5)¶
-
equate
(self, type1, pos1, type2, pos2)¶
-
find_dim_by_name
(self, type, name)¶
-
fix_val
(self, type, pos, v)¶
-
static
from_aff_list
(domain_space, list)¶
-
static
from_constraint
(constraint)¶ - Parameters
constraint –
Constraint
- Returns
-
static
from_constraint_matrices
(space, eq, ineq, c1, c2, c3, c4, c5)¶
-
static
from_domain_and_range
(domain, range)¶
-
static
from_qpolynomial
(qp)¶ - Parameters
qp –
QPolynomial
- Returns
-
get_constraints
()¶ Get a list of constraints.
-
get_dim_name
(self, type, pos)¶
-
get_id_dict
(dimtype=None)¶ Return a dictionary mapping
Id
instances to tuples of (dim_type
, index).- Parameters
dimtype – None to get all variables, otherwise one of
dim_type
.
-
get_range_stride_info
(self, pos)¶ - Parameters
- Returns
-
get_var_dict
(dimtype=None)¶ Return a dictionary mapping variable names to tuples of (
dim_type
, index).- Parameters
dimtype – None to get all variables, otherwise one of
dim_type
.
-
has_defining_equality
(self, type, pos)¶ - Parameters
- Returns
c (
Constraint
)
-
inequalities_matrix
(self, c1, c2, c3, c4, c5)¶
-
insert_dims
(self, type, pos, n)¶
-
involves_dims
(self, type, first, n)¶
-
lex_ge_at_multi_pw_aff
(self, mpa)¶ - Parameters
self –
Map
mpa –
MultiPwAff
- Returns
-
lex_ge_at_multi_union_pw_aff
(self, mupa)¶ - Parameters
self –
UnionMap
mupa –
MultiUnionPwAff
- Returns
-
lex_gt_at_multi_pw_aff
(self, mpa)¶ - Parameters
self –
Map
mpa –
MultiPwAff
- Returns
-
lex_gt_at_multi_union_pw_aff
(self, mupa)¶ - Parameters
self –
UnionMap
mupa –
MultiUnionPwAff
- Returns
-
lex_le_at_multi_pw_aff
(self, mpa)¶ - Parameters
self –
Map
mpa –
MultiPwAff
- Returns
-
lex_le_at_multi_union_pw_aff
(self, mupa)¶ - Parameters
self –
UnionMap
mupa –
MultiUnionPwAff
- Returns
-
lex_lt_at_multi_pw_aff
(self, mpa)¶ - Parameters
self –
Map
mpa –
MultiPwAff
- Returns
-
lex_lt_at_multi_union_pw_aff
(self, mupa)¶ - Parameters
self –
UnionMap
mupa –
MultiUnionPwAff
- Returns
-
lower_bound_multi_pw_aff
(self, lower)¶ - Parameters
self –
Map
lower –
MultiPwAff
- Returns
-
lower_bound_si
(self, type, pos, value)¶
-
lower_bound_val
(self, type, pos, value)¶
-
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶
-
oppose
(self, type1, pos1, type2, pos2)¶
-
order_ge
(self, type1, pos1, type2, pos2)¶
-
order_gt
(self, type1, pos1, type2, pos2)¶
-
order_le
(self, type1, pos1, type2, pos2)¶
-
order_lt
(self, type1, pos1, type2, pos2)¶
-
partial_lexmax
(self, dom)¶
-
partial_lexmax_pw_multi_aff
(self, dom)¶ - Parameters
- Returns
tuple: (
PwMultiAff
, empty (Set
))
-
partial_lexmin
(self, dom)¶
-
partial_lexmin_pw_multi_aff
(self, dom)¶ - Parameters
- Returns
tuple: (
PwMultiAff
, empty (Set
))
-
plain_get_val_if_fixed
(self, type, pos)¶
-
preimage_domain_multi_pw_aff
(self, mpa)¶ - Parameters
self –
Map
mpa –
MultiPwAff
- Returns
-
preimage_domain_pw_multi_aff
(self, pma)¶ - Parameters
self –
Map
pma –
PwMultiAff
- Returns
-
preimage_domain_union_pw_multi_aff
(self, upma)¶ - Parameters
self –
UnionMap
upma –
UnionPwMultiAff
- Returns
-
preimage_range_pw_multi_aff
(self, pma)¶ - Parameters
self –
Map
pma –
PwMultiAff
- Returns
-
preimage_range_union_pw_multi_aff
(self, upma)¶ - Parameters
self –
UnionMap
upma –
UnionPwMultiAff
- Returns
-
project_out
(self, type, first, n)¶
-
project_out_except
(names, types)¶ - Parameters
types – list of
dim_type
determining the types of axes to project outnames – names of axes matching the above which should be left alone by the projection
New in version 2011.3.
-
remove_dims
(self, type, first, n)¶
-
remove_divs_involving_dims
(self, type, first, n)¶
-
set_dim_id
(self, type, pos, id)¶
-
set_dim_name
(self, type, pos, s)¶
-
set_tuple_name
(self, type, s)¶
-
unshifted_simple_hull_from_map_list
(self, list)¶
-
upper_bound_multi_pw_aff
(self, upper)¶ - Parameters
self –
Map
upper –
MultiPwAff
- Returns
-
upper_bound_si
(self, type, pos, value)¶
-
upper_bound_val
(self, type, pos, value)¶
Set¶
-
class
islpy.
Set
(s=None, context=None)¶ box_from_points()
(static)empty()
(static)from_basic_set()
(static)from_multi_aff()
(static)from_multi_pw_aff()
(static)from_point()
(static)from_pw_aff()
(static)from_pw_multi_aff()
(static)from_union_set()
(static)
nat_universe()
(static)read_from_str()
(static)universe()
(static)
-
__eq__
(other)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(other)¶ Return self!=value.
-
add_constraint
(self, constraint)¶ - Parameters
self –
Set
constraint –
Constraint
- Returns
-
add_constraints
(constraints)¶ New in version 2011.3.
-
apply_pw_qpolynomial_fold
(self, pwf)¶ - Parameters
self –
Set
pwf –
PwQPolynomialFold
- Returns
tuple: (
PwQPolynomialFold
, tight (Bool))
-
apply_union_pw_qpolynomial_fold
(self, upwf)¶ - Parameters
self –
UnionSet
upwf –
UnionPwQPolynomialFold
- Returns
tuple: (
UnionPwQPolynomialFold
, tight (Bool))
-
compute_schedule
(self, validity, proximity)¶
-
dim_has_any_lower_bound
(self, type, pos)¶
-
dim_has_any_upper_bound
(self, type, pos)¶
-
dim_has_lower_bound
(self, type, pos)¶
-
dim_has_upper_bound
(self, type, pos)¶
-
dim_residue_class_val
(self, pos)¶
-
drop_constraints_involving_dims
(self, type, first, n)¶
-
drop_constraints_not_involving_dims
(self, type, first, n)¶
-
eliminate
(self, type, first, n)¶
-
eliminate_except
(names, types)¶ - Parameters
types – list of
dim_type
determining the types of axes to eliminatenames – names of axes matching the above which should be left alone by the eliminate
New in version 2011.3.
-
equate
(self, type1, pos1, type2, pos2)¶
-
fix_val
(self, type, pos, v)¶
-
static
from_multi_pw_aff
(mpa)¶ - Parameters
mpa –
MultiPwAff
- Returns
-
static
from_pw_multi_aff
(pma)¶ - Parameters
pma –
PwMultiAff
- Returns
-
get_id_dict
(dimtype=None)¶ Return a dictionary mapping
Id
instances to tuples of (dim_type
, index).- Parameters
dimtype – None to get all variables, otherwise one of
dim_type
.
-
get_stride_info
(self, pos)¶ - Parameters
- Returns
-
get_var_dict
(dimtype=None)¶ Return a dictionary mapping variable names to tuples of (
dim_type
, index).- Parameters
dimtype – None to get all variables, otherwise one of
dim_type
.
-
insert_dims
(self, type, pos, n)¶
-
involves_dims
(self, type, first, n)¶
-
lower_bound_multi_pw_aff
(self, lower)¶ - Parameters
self –
Set
lower –
MultiPwAff
- Returns
-
lower_bound_val
(self, type, pos, value)¶
-
min_multi_union_pw_aff
(self, obj)¶ - Parameters
self –
UnionSet
obj –
MultiUnionPwAff
- Returns
-
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶
-
plain_get_val_if_fixed
(self, type, pos)¶
-
preimage_multi_pw_aff
(self, mpa)¶ - Parameters
self –
Set
mpa –
MultiPwAff
- Returns
-
preimage_pw_multi_aff
(self, pma)¶ - Parameters
self –
Set
pma –
PwMultiAff
- Returns
-
preimage_union_pw_multi_aff
(self, upma)¶ - Parameters
self –
UnionSet
upma –
UnionPwMultiAff
- Returns
-
project_onto_map
(self, type, first, n)¶
-
project_out
(self, type, first, n)¶
-
project_out_except
(names, types)¶ - Parameters
types – list of
dim_type
determining the types of axes to project outnames – names of axes matching the above which should be left alone by the projection
New in version 2011.3.
-
pw_multi_aff_on_domain_multi_val
(self, mv)¶ - Parameters
- Returns
-
remove_dims
(self, type, first, n)¶
-
remove_divs_involving_dims
(self, type, first, n)¶
-
set_dim_id
(self, type, pos, id)¶
-
set_dim_name
(self, type, pos, s)¶
-
split_dims
(self, type, first, n)¶
-
unshifted_simple_hull_from_set_list
(self, list)¶
-
upper_bound_multi_pw_aff
(self, upper)¶ - Parameters
self –
Set
upper –
MultiPwAff
- Returns
-
upper_bound_val
(self, type, pos, value)¶
Map¶
-
class
islpy.
Map
(s=None, context=None)¶ empty()
(static)from_aff()
(static)from_basic_map()
(static)from_domain()
(static)from_domain_and_range()
(static)from_multi_aff()
(static)from_multi_pw_aff()
(static)from_pw_aff()
(static)from_pw_multi_aff()
(static)from_range()
(static)from_union_map()
(static)identity()
(static)
lex_ge()
(static)lex_ge_first()
(static)lex_gt()
(static)lex_gt_first()
(static)lex_le()
(static)lex_le_first()
(static)lex_lt()
(static)lex_lt_first()
(static)nat_universe()
(static)read_from_str()
(static)universe()
(static)
-
__eq__
(other)¶ Return self==value.