Reference: Expression-like Objects¶
Quasi-Affine Expressions¶
Quasi-Affine Expression¶
-
class
islpy.
Aff
(s=None, context=None)¶ nan_on_domain()
(static)nan_on_domain_space()
(static)param_on_domain_space_id()
(static)read_from_str()
(static)val_on_domain()
(static)val_on_domain_space()
(static)var_on_domain()
(static)zero_on_domain()
(static)zero_on_domain_space()
(static)
-
__eq__
(other)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(other)¶ Return self!=value.
-
add_coefficient_val
(self, type, pos, v)¶
-
coefficient_sgn
(self, type, pos)¶
-
cond
(self, pwaff_true, pwaff_false)¶
-
drop_dims
(self, type, first, n)¶
-
find_dim_by_name
(self, type, name)¶
-
get_coefficient_val
(self, type, pos)¶
-
get_coefficients_by_name
(dimtype=None, dim_to_name=None)¶ Return a dictionary mapping variable names to coefficients.
- Parameters
dimtype – None to get all variables, otherwise one of
dim_type
.
Changed in version 2011.3: New for
Aff
-
get_dim_id
(self, type, pos)¶
-
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_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_dim_id
(self, type, pos)¶
-
insert_dims
(self, type, first, n)¶
-
involves_dims
(self, type, first, n)¶
-
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶
-
static
nan_on_domain
(ls)¶ - Parameters
ls –
LocalSpace
- Returns
-
pullback_multi_pw_aff
(self, mpa)¶ - Parameters
self –
PwAff
mpa –
MultiPwAff
- Returns
-
pullback_pw_multi_aff
(self, pma)¶ - Parameters
self –
PwAff
pma –
PwMultiAff
- Returns
-
set_coefficient_val
(self, type, pos, v)¶
-
set_coefficients_by_name
(iterable, name_to_dim=None)¶ Set the coefficients and the constant.
- Parameters
iterable – a
dict
or iterable oftuple
instances mapping variable names to their coefficients. The constant is set to the value of the key ‘1’.
Changed in version 2011.3: New for
Aff
-
set_dim_id
(self, type, pos, id)¶
-
set_dim_name
(self, type, pos, s)¶
-
static
val_on_domain
(ls, val)¶ - Parameters
ls –
LocalSpace
val –
Val
- Returns
-
static
var_on_domain
(ls, type, pos)¶ - Parameters
ls –
LocalSpace
type –
dim_type
pos –
unsigned
- Returns
-
static
zero_on_domain
(ls)¶ - Parameters
ls –
LocalSpace
- Returns
Piecewise Quasi-Affine Expression¶
-
class
islpy.
PwAff
(s=None, context=None)¶ alloc()
(static)empty()
(static)from_aff()
(static)
nan_on_domain()
(static)nan_on_domain_space()
(static)param_on_domain_id()
(static)read_from_str()
(static)val_on_domain()
(static)var_on_domain()
(static)zero_on_domain()
(static)
-
__eq__
(other)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(other)¶ Return self!=value.
-
cond
(self, pwaff_true, pwaff_false)¶
-
drop_dims
(self, type, first, n)¶
-
find_dim_by_name
(self, type, name)¶
-
get_dim_id
(self, type, pos)¶
-
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_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_dim_id
(self, type, pos)¶
-
insert_dims
(self, type, first, n)¶
-
involves_dims
(self, type, first, n)¶
-
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶
-
static
nan_on_domain
(ls)¶ - Parameters
ls –
LocalSpace
- Returns
-
pullback_multi_pw_aff
(self, mpa)¶ - Parameters
self –
PwAff
mpa –
MultiPwAff
- Returns
-
pullback_pw_multi_aff
(self, pma)¶ - Parameters
self –
PwAff
pma –
PwMultiAff
- Returns
-
set_dim_id
(self, type, pos, id)¶
-
static
var_on_domain
(ls, type, pos)¶ - Parameters
ls –
LocalSpace
type –
dim_type
pos –
unsigned
- Returns
-
static
zero_on_domain
(ls)¶ - Parameters
ls –
LocalSpace
- Returns
Union of Piecewise Quasi-Affine Expressions¶
-
class
islpy.
UnionPwAff
(s=None, context=None)¶ aff_on_domain()
(static)empty()
(static)empty_ctx()
(static)empty_space()
(static)from_aff()
(static)from_pw_aff()
(static)
param_on_domain_id()
(static)pw_aff_on_domain()
(static)read_from_str()
(static)val_on_domain()
(static)
-
__eq__
(value, /)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(value, /)¶ Return self!=value.
-
add
(self, upa2)¶ - Parameters
self –
UnionPwAff
upa2 –
UnionPwAff
- Returns
-
add_pw_aff
(self, pa)¶ - Parameters
self –
UnionPwAff
pa –
PwAff
- Returns
-
static
aff_on_domain
(domain, aff)¶ - Parameters
- Returns
-
align_params
(self, model)¶ - Parameters
self –
UnionPwAff
model –
Space
- Returns
-
bind_id
(self, id)¶ - Parameters
self –
UnionPwAff
id –
Id
- Returns
-
coalesce
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
copy
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
dim
(self, type)¶ - Parameters
self –
UnionPwAff
type –
dim_type
- Returns
isl_size
-
domain
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
drop_dims
(self, type, first, n)¶ - Parameters
self –
UnionPwAff
type –
dim_type
first –
unsigned
n –
unsigned
- Returns
-
dump
(self)¶ - Parameters
self –
UnionPwAff
- Returns
None
-
every_pw_aff
(self, test)¶ - Parameters
self –
UnionPwAff
test – callback(pa)
- Returns
bool
-
extract_pw_aff
(self, space)¶ - Parameters
self –
UnionPwAff
space –
Space
- Returns
-
find_dim_by_name
(self, type, name)¶ - Parameters
self –
UnionPwAff
type –
dim_type
name – string
- Returns
int
-
floor
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
foreach_pw_aff
(self, fn)¶ - Parameters
self –
UnionPwAff
fn – callback(pa)
- Returns
isl_stat
-
get_ctx
(self)¶ - Parameters
self –
UnionPwAff
- 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_pw_aff_list
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
get_space
(self)¶ - Parameters
self –
UnionPwAff
- 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
.
-
gist
(self, context)¶ - Parameters
self –
UnionPwAff
context –
UnionSet
- Returns
-
gist_params
(self, context)¶ - Parameters
self –
UnionPwAff
context –
Set
- Returns
-
intersect_domain
(self, uset)¶ - Parameters
self –
UnionPwAff
uset –
UnionSet
- Returns
-
intersect_domain_space
(self, space)¶ - Parameters
self –
UnionPwAff
space –
Space
- Returns
-
intersect_domain_union_set
(self, uset)¶ - Parameters
self –
UnionPwAff
uset –
UnionSet
- Returns
-
intersect_domain_wrapped_domain
(self, uset)¶ - Parameters
self –
UnionPwAff
uset –
UnionSet
- Returns
-
intersect_domain_wrapped_range
(self, uset)¶ - Parameters
self –
UnionPwAff
uset –
UnionSet
- Returns
-
intersect_params
(self, set)¶ - Parameters
self –
UnionPwAff
set –
Set
- Returns
-
involves_nan
(self)¶ - Parameters
self –
UnionPwAff
- Returns
bool
-
max_val
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
min_val
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
mod_val
(self, f)¶ - Parameters
self –
UnionPwAff
f –
Val
- Returns
-
n_pw_aff
(self)¶ - Parameters
self –
UnionPwAff
- Returns
isl_size
-
neg
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
static
param_on_domain_id
(domain, id)¶ - Parameters
- Returns
-
plain_is_equal
(self, upa2)¶ - Parameters
self –
UnionPwAff
upa2 –
UnionPwAff
- Returns
bool
-
pullback_union_pw_multi_aff
(self, upma)¶ - Parameters
self –
UnionPwAff
upma –
UnionPwMultiAff
- Returns
-
static
pw_aff_on_domain
(domain, pa)¶ - Parameters
- Returns
-
reset_user
(self)¶ - Parameters
self –
UnionPwAff
- Returns
-
scale_down_val
(self, v)¶ - Parameters
self –
UnionPwAff
v –
Val
- Returns
-
scale_val
(self, v)¶ - Parameters
self –
UnionPwAff
v –
Val
- Returns
-
set_dim_name
(self, type, pos, s)¶ - Parameters
self –
UnionPwAff
type –
dim_type
pos –
unsigned
s – string
- Returns
-
property
space
¶ get_space(self)
- Parameters
self –
UnionPwAff
- Returns
-
sub
(self, upa2)¶ - Parameters
self –
UnionPwAff
upa2 –
UnionPwAff
- Returns
-
subtract_domain
(self, uset)¶ - Parameters
self –
UnionPwAff
uset –
UnionSet
- Returns
-
subtract_domain_space
(self, space)¶ - Parameters
self –
UnionPwAff
space –
Space
- Returns
-
subtract_domain_union_set
(self, uset)¶ - Parameters
self –
UnionPwAff
uset –
UnionSet
- Returns
-
to_str
(self)¶ - Parameters
self –
UnionPwAff
- Returns
string
-
union_add
(self, upa2)¶ - Parameters
self –
UnionPwAff
upa2 –
UnionPwAff
- Returns
-
static
val_on_domain
(domain, v)¶ - Parameters
- Returns
-
zero_union_set
(self)¶ - Parameters
self –
UnionPwAff
- Returns
Multiple Union of Piecewise Quasi-Affine Expressions¶
-
class
islpy.
MultiUnionPwAff
(s=None, context=None)¶ from_multi_aff()
(static)from_multi_pw_aff()
(static)from_union_map()
(static)from_union_pw_aff()
(static)from_union_pw_multi_aff()
(static)
multi_aff_on_domain()
(static)multi_val_on_domain()
(static)pw_multi_aff_on_domain()
(static)read_from_str()
(static)
-
__eq__
(value, /)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(value, /)¶ Return self!=value.
-
align_params
(self, model)¶ - Parameters
self –
MultiUnionPwAff
model –
Space
- Returns
-
apply_aff
(self, aff)¶ - Parameters
self –
MultiUnionPwAff
aff –
Aff
- Returns
-
apply_multi_aff
(self, ma)¶ - Parameters
self –
MultiUnionPwAff
ma –
MultiAff
- Returns
-
apply_pw_aff
(self, pa)¶ - Parameters
self –
MultiUnionPwAff
pa –
PwAff
- Returns
-
apply_pw_multi_aff
(self, pma)¶ - Parameters
self –
MultiUnionPwAff
pma –
PwMultiAff
- Returns
-
bind
(self, tuple)¶ - Parameters
self –
MultiUnionPwAff
tuple –
MultiId
- Returns
-
coalesce
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
copy
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
dim
(self, type)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
- Returns
isl_size
-
domain
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
drop_dims
(self, type, first, n)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
first –
unsigned
n –
unsigned
- Returns
-
dump
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
None
-
extract_multi_pw_aff
(self, space)¶ - Parameters
self –
MultiUnionPwAff
space –
Space
- Returns
-
factor_range
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
find_dim_by_id
(self, type, id)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
id –
Id
- Returns
int
-
find_dim_by_name
(self, type, name)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
name – string
- Returns
int
-
flatten_range
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
floor
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
static
from_multi_pw_aff
(mpa)¶ - Parameters
mpa –
MultiPwAff
- Returns
-
from_range
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
static
from_union_pw_aff
(upa)¶ - Parameters
upa –
UnionPwAff
- Returns
-
static
from_union_pw_multi_aff
(upma)¶ - Parameters
upma –
UnionPwMultiAff
- Returns
-
get_ctx
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
get_dim_id
(self, type, pos)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
pos –
unsigned
- Returns
-
get_domain_space
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
get_tuple_id
(self, type)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
- Returns
-
get_tuple_name
(self, type)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
- Returns
string
-
get_union_pw_aff
(self, pos)¶ - Parameters
self –
MultiUnionPwAff
pos –
int
- Returns
-
gist
(self, context)¶ - Parameters
self –
MultiUnionPwAff
context –
UnionSet
- Returns
-
gist_params
(self, context)¶ - Parameters
self –
MultiUnionPwAff
context –
Set
- Returns
-
has_tuple_id
(self, type)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
- Returns
bool
-
intersect_domain
(self, uset)¶ - Parameters
self –
MultiUnionPwAff
uset –
UnionSet
- Returns
-
intersect_params
(self, params)¶ - Parameters
self –
MultiUnionPwAff
params –
Set
- Returns
-
intersect_range
(self, set)¶ - Parameters
self –
MultiUnionPwAff
set –
Set
- Returns
-
max_multi_val
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
min_multi_val
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
mod_multi_val
(self, mv)¶ - Parameters
self –
MultiUnionPwAff
mv –
MultiVal
- Returns
-
static
multi_aff_on_domain
(domain, ma)¶ - Parameters
- Returns
-
static
multi_val_on_domain
(domain, mv)¶ - Parameters
- Returns
-
pullback_union_pw_multi_aff
(self, upma)¶ - Parameters
self –
MultiUnionPwAff
upma –
UnionPwMultiAff
- Returns
-
static
pw_multi_aff_on_domain
(domain, pma)¶ - Parameters
domain –
UnionSet
pma –
PwMultiAff
- Returns
-
range_factor_domain
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
range_factor_range
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
range_is_wrapping
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
bool
-
range_splice
(self, pos, multi2)¶ - Parameters
self –
MultiUnionPwAff
pos –
unsigned
multi2 –
MultiUnionPwAff
- Returns
-
reset_tuple_id
(self, type)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
- Returns
-
reset_user
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
-
scale_down_multi_val
(self, mv)¶ - Parameters
self –
MultiUnionPwAff
mv –
MultiVal
- Returns
-
scale_down_val
(self, v)¶ - Parameters
self –
MultiUnionPwAff
v –
Val
- Returns
-
scale_multi_val
(self, mv)¶ - Parameters
self –
MultiUnionPwAff
mv –
MultiVal
- Returns
-
scale_val
(self, v)¶ - Parameters
self –
MultiUnionPwAff
v –
Val
- Returns
-
set_dim_id
(self, type, pos, id)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
pos –
unsigned
id –
Id
- Returns
-
set_dim_name
(self, type, pos, s)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
pos –
unsigned
s – string
- Returns
-
set_range_tuple_id
(self, id)¶ - Parameters
self –
MultiUnionPwAff
id –
Id
- Returns
-
set_tuple_id
(self, type, id)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
id –
Id
- Returns
-
set_tuple_name
(self, type, s)¶ - Parameters
self –
MultiUnionPwAff
type –
dim_type
s – string
- Returns
-
set_union_pw_aff
(self, pos, el)¶ - Parameters
self –
MultiUnionPwAff
pos –
int
el –
UnionPwAff
- Returns
-
to_str
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
string
-
union_add
(self, mupa2)¶ - Parameters
self –
MultiUnionPwAff
mupa2 –
MultiUnionPwAff
- Returns
-
zero_union_set
(self)¶ - Parameters
self –
MultiUnionPwAff
- Returns
Multiple Affine Expressions¶
Multiple Affine Expression¶
-
class
islpy.
MultiAff
(s=None, context=None)¶ domain_map()
(static)from_aff()
(static)identity()
(static)identity_on_domain_space()
(static)
multi_val_on_domain_space()
(static)multi_val_on_space()
(static)project_out_map()
(static)range_map()
(static)read_from_str()
(static)
-
__eq__
(value, /)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(value, /)¶ Return self!=value.
-
add_dims
(self, type, n)¶
-
drop_dims
(self, type, first, n)¶
-
find_dim_by_id
(self, type, id)¶
-
find_dim_by_name
(self, type, name)¶
-
get_dim_id
(self, type, pos)¶
-
insert_dims
(self, type, first, n)¶
-
involves_dims
(self, type, first, n)¶
-
lift
(self)¶ - Parameters
self –
MultiAff
- Returns
tuple: (
MultiAff
, ls (LocalSpace
))
-
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶
-
static
multi_val_on_domain_space
(space, mv)¶
-
static
project_out_map
(space, type, first, n)¶
-
range_splice
(self, pos, multi2)¶
-
set_dim_id
(self, type, pos, id)¶
-
set_dim_name
(self, type, pos, s)¶
-
set_tuple_id
(self, type, id)¶
-
set_tuple_name
(self, type, s)¶
-
splice
(self, in_pos, out_pos, multi2)¶
Piecewise Multiple Affine Expression¶
-
class
islpy.
PwMultiAff
(s=None, context=None)¶ alloc()
(static)domain_map()
(static)empty()
(static)from_domain()
(static)from_map()
(static)from_multi_aff()
(static)from_multi_pw_aff()
(static)from_pw_aff()
(static)from_set()
(static)
identity()
(static)identity_on_domain_space()
(static)multi_val_on_domain()
(static)project_out_map()
(static)range_map()
(static)read_from_str()
(static)zero()
(static)
-
__eq__
(other)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(other)¶ Return self!=value.
-
add
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
add_constant_multi_val
(self, mv)¶ - Parameters
self –
PwMultiAff
mv –
MultiVal
- Returns
-
add_constant_val
(self, v)¶ - Parameters
self –
PwMultiAff
v –
Val
- Returns
-
align_params
(self, model)¶ - Parameters
self –
PwMultiAff
model –
Space
- Returns
-
static
alloc
(set, maff)¶ - Parameters
- Returns
-
as_map
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
as_multi_aff
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
as_set
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
bind_domain
(self, tuple)¶ - Parameters
self –
PwMultiAff
tuple –
MultiId
- Returns
-
bind_domain_wrapped_domain
(self, tuple)¶ - Parameters
self –
PwMultiAff
tuple –
MultiId
- Returns
-
coalesce
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
copy
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
dim
(self, type)¶ - Parameters
self –
PwMultiAff
type –
dim_type
- Returns
isl_size
-
domain
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
drop_dims
(self, type, first, n)¶ - Parameters
self –
PwMultiAff
type –
dim_type
first –
unsigned
n –
unsigned
- Returns
-
drop_unused_params
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
dump
(self)¶ - Parameters
self –
PwMultiAff
- Returns
None
-
every_piece
(self, test)¶ - Parameters
self –
PwMultiAff
test – callback(set, ma)
- Returns
bool
-
find_dim_by_name
(self, type, name)¶ - Parameters
self –
PwMultiAff
type –
dim_type
name – string
- Returns
int
-
fix_si
(self, type, pos, value)¶ - Parameters
self –
PwMultiAff
type –
dim_type
pos –
unsigned
value –
int
- Returns
-
flat_range_product
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
foreach_piece
(self, fn)¶ - Parameters
self –
PwMultiAff
fn – callback(set, maff)
- Returns
isl_stat
-
static
from_multi_pw_aff
(mpa)¶ - Parameters
mpa –
MultiPwAff
- Returns
-
get_at
(self, pos)¶ - Parameters
self –
PwMultiAff
pos –
int
- Returns
-
get_ctx
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
get_dim_id
(self, type, pos)¶ - Parameters
self –
PwMultiAff
type –
dim_type
pos –
unsigned
- Returns
-
get_dim_name
(self, type, pos)¶ - Parameters
self –
PwMultiAff
type –
dim_type
pos –
unsigned
- Returns
string
-
get_domain_space
(self)¶ - Parameters
self –
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_pw_aff
(self, pos)¶ - Parameters
self –
PwMultiAff
pos –
int
- Returns
-
get_range_tuple_id
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
get_space
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
get_tuple_id
(self, type)¶ - Parameters
self –
PwMultiAff
type –
dim_type
- Returns
-
get_tuple_name
(self, type)¶ - Parameters
self –
PwMultiAff
type –
dim_type
- Returns
string
-
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
.
-
gist
(self, set)¶ - Parameters
self –
PwMultiAff
set –
Set
- Returns
-
gist_params
(self, set)¶ - Parameters
self –
PwMultiAff
set –
Set
- Returns
-
has_range_tuple_id
(self)¶ - Parameters
self –
PwMultiAff
- Returns
bool
-
has_tuple_id
(self, type)¶ - Parameters
self –
PwMultiAff
type –
dim_type
- Returns
bool
-
has_tuple_name
(self, type)¶ - Parameters
self –
PwMultiAff
type –
dim_type
- Returns
bool
-
insert_domain
(self, domain)¶ - Parameters
self –
PwMultiAff
domain –
Space
- Returns
-
intersect_domain
(self, set)¶ - Parameters
self –
PwMultiAff
set –
Set
- Returns
-
intersect_domain_wrapped_domain
(self, set)¶ - Parameters
self –
PwMultiAff
set –
Set
- Returns
-
intersect_domain_wrapped_range
(self, set)¶ - Parameters
self –
PwMultiAff
set –
Set
- Returns
-
intersect_params
(self, set)¶ - Parameters
self –
PwMultiAff
set –
Set
- Returns
-
involves_dims
(self, type, first, n)¶ - Parameters
self –
PwMultiAff
type –
dim_type
first –
unsigned
n –
unsigned
- Returns
bool
-
involves_locals
(self)¶ - Parameters
self –
PwMultiAff
- Returns
bool
-
involves_nan
(self)¶ - Parameters
self –
PwMultiAff
- Returns
bool
-
involves_param_id
(self, id)¶ - Parameters
self –
PwMultiAff
id –
Id
- Returns
bool
-
is_equal
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
bool
-
isa_multi_aff
(self)¶ - Parameters
self –
PwMultiAff
- Returns
bool
-
max_multi_val
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
min_multi_val
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
static
multi_val_on_domain
(domain, mv)¶ - Parameters
- Returns
-
n_piece
(self)¶ - Parameters
self –
PwMultiAff
- Returns
isl_size
-
neg
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
plain_is_equal
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
bool
-
preimage_domain_wrapped_domain_pw_multi_aff
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
product
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
project_domain_on_params
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
static
project_out_map
(space, type, first, n)¶ - Parameters
- Returns
-
pullback_multi_aff
(self, ma)¶ - Parameters
self –
PwMultiAff
ma –
MultiAff
- Returns
-
pullback_pw_multi_aff
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
range_factor_domain
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
range_factor_range
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
range_product
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
reset_tuple_id
(self, type)¶ - Parameters
self –
PwMultiAff
type –
dim_type
- Returns
-
reset_user
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
scale_down_val
(self, v)¶ - Parameters
self –
PwMultiAff
v –
Val
- Returns
-
scale_multi_val
(self, mv)¶ - Parameters
self –
PwMultiAff
mv –
MultiVal
- Returns
-
scale_val
(self, v)¶ - Parameters
self –
PwMultiAff
v –
Val
- Returns
-
set_dim_id
(self, type, pos, id)¶ - Parameters
self –
PwMultiAff
type –
dim_type
pos –
unsigned
id –
Id
- Returns
-
set_pw_aff
(self, pos, pa)¶ - Parameters
self –
PwMultiAff
pos –
unsigned
pa –
PwAff
- Returns
-
set_range_tuple_id
(self, id)¶ - Parameters
self –
PwMultiAff
id –
Id
- Returns
-
set_tuple_id
(self, type, id)¶ - Parameters
self –
PwMultiAff
type –
dim_type
id –
Id
- Returns
-
property
space
¶ get_space(self)
- Parameters
self –
PwMultiAff
- Returns
-
sub
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
subtract_domain
(self, set)¶ - Parameters
self –
PwMultiAff
set –
Set
- Returns
-
to_multi_pw_aff
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
to_str
(self)¶ - Parameters
self –
PwMultiAff
- Returns
string
-
to_union_pw_multi_aff
(self)¶ - Parameters
self –
PwMultiAff
- Returns
-
union_add
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
union_lexmax
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
-
union_lexmin
(self, pma2)¶ - Parameters
self –
PwMultiAff
pma2 –
PwMultiAff
- Returns
Multiple Piecewise Affine Expression¶
-
class
islpy.
MultiPwAff
(s=None, context=None)¶ from_aff()
(static)from_multi_aff()
(static)from_pw_aff()
(static)from_pw_multi_aff()
(static)identity()
(static)identity_on_domain_space()
(static)
read_from_str()
(static)
-
__eq__
(other)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(other)¶ Return self!=value.
-
add_constant_multi_val
(self, mv)¶ - Parameters
self –
MultiPwAff
mv –
MultiVal
- Returns
-
add_constant_val
(self, v)¶ - Parameters
self –
MultiPwAff
v –
Val
- Returns
-
add_dims
(self, type, n)¶ - Parameters
self –
MultiPwAff
type –
dim_type
n –
unsigned
- Returns
-
align_params
(self, model)¶ - Parameters
self –
MultiPwAff
model –
Space
- Returns
-
as_map
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
as_set
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
bind
(self, tuple)¶ - Parameters
self –
MultiPwAff
tuple –
MultiId
- Returns
-
coalesce
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
copy
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
dim
(self, type)¶ - Parameters
self –
MultiPwAff
type –
dim_type
- Returns
isl_size
-
domain
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
drop_dims
(self, type, first, n)¶ - Parameters
self –
MultiPwAff
type –
dim_type
first –
unsigned
n –
unsigned
- Returns
-
dump
(self)¶ - Parameters
self –
MultiPwAff
- Returns
None
-
eq_map
(self, mpa2)¶ - Parameters
self –
MultiPwAff
mpa2 –
MultiPwAff
- Returns
-
factor_range
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
find_dim_by_id
(self, type, id)¶ - Parameters
self –
MultiPwAff
type –
dim_type
id –
Id
- Returns
int
-
find_dim_by_name
(self, type, name)¶ - Parameters
self –
MultiPwAff
type –
dim_type
name – string
- Returns
int
-
flatten_range
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
static
from_pw_multi_aff
(pma)¶ - Parameters
pma –
PwMultiAff
- Returns
-
from_range
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
get_ctx
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
get_dim_id
(self, type, pos)¶ - Parameters
self –
MultiPwAff
type –
dim_type
pos –
unsigned
- Returns
-
get_domain_space
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
get_pw_aff
(self, pos)¶ - Parameters
self –
MultiPwAff
pos –
int
- Returns
-
get_tuple_id
(self, type)¶ - Parameters
self –
MultiPwAff
type –
dim_type
- Returns
-
get_tuple_name
(self, type)¶ - Parameters
self –
MultiPwAff
type –
dim_type
- Returns
string
-
gist
(self, set)¶ - Parameters
self –
MultiPwAff
set –
Set
- Returns
-
gist_params
(self, set)¶ - Parameters
self –
MultiPwAff
set –
Set
- Returns
-
has_tuple_id
(self, type)¶ - Parameters
self –
MultiPwAff
type –
dim_type
- Returns
bool
-
identity_multi_pw_aff
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
insert_dims
(self, type, first, n)¶ - Parameters
self –
MultiPwAff
type –
dim_type
first –
unsigned
n –
unsigned
- Returns
-
intersect_domain
(self, domain)¶ - Parameters
self –
MultiPwAff
domain –
Set
- Returns
-
intersect_params
(self, set)¶ - Parameters
self –
MultiPwAff
set –
Set
- Returns
-
involves_dims
(self, type, first, n)¶ - Parameters
self –
MultiPwAff
type –
dim_type
first –
unsigned
n –
unsigned
- Returns
bool
-
involves_param_id
(self, id)¶ - Parameters
self –
MultiPwAff
id –
Id
- Returns
bool
-
involves_param_id_list
(self, list)¶ - Parameters
self –
MultiPwAff
list –
IdList
- Returns
bool
-
is_cst
(self)¶ - Parameters
self –
MultiPwAff
- Returns
bool
-
is_equal
(self, mpa2)¶ - Parameters
self –
MultiPwAff
mpa2 –
MultiPwAff
- Returns
bool
-
lex_ge_map
(self, mpa2)¶ - Parameters
self –
MultiPwAff
mpa2 –
MultiPwAff
- Returns
-
lex_gt_map
(self, mpa2)¶ - Parameters
self –
MultiPwAff
mpa2 –
MultiPwAff
- Returns
-
lex_le_map
(self, mpa2)¶ - Parameters
self –
MultiPwAff
mpa2 –
MultiPwAff
- Returns
-
lex_lt_map
(self, mpa2)¶ - Parameters
self –
MultiPwAff
mpa2 –
MultiPwAff
- Returns
-
max_multi_val
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
min_multi_val
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
mod_multi_val
(self, mv)¶ - Parameters
self –
MultiPwAff
mv –
MultiVal
- Returns
-
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶ - Parameters
- Returns
-
project_domain_on_params
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
pullback_multi_aff
(self, ma)¶ - Parameters
self –
MultiPwAff
ma –
MultiAff
- Returns
-
pullback_multi_pw_aff
(self, mpa2)¶ - Parameters
self –
MultiPwAff
mpa2 –
MultiPwAff
- Returns
-
pullback_pw_multi_aff
(self, pma)¶ - Parameters
self –
MultiPwAff
pma –
PwMultiAff
- Returns
-
range_factor_domain
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
range_factor_range
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
range_is_wrapping
(self)¶ - Parameters
self –
MultiPwAff
- Returns
bool
-
range_splice
(self, pos, multi2)¶ - Parameters
self –
MultiPwAff
pos –
unsigned
multi2 –
MultiPwAff
- Returns
-
reset_tuple_id
(self, type)¶ - Parameters
self –
MultiPwAff
type –
dim_type
- Returns
-
reset_user
(self)¶ - Parameters
self –
MultiPwAff
- Returns
-
scale_down_multi_val
(self, mv)¶ - Parameters
self –
MultiPwAff
mv –
MultiVal
- Returns
-
scale_down_val
(self, v)¶ - Parameters
self –
MultiPwAff
v –
Val
- Returns
-
scale_multi_val
(self, mv)¶ - Parameters
self –
MultiPwAff
mv –
MultiVal
- Returns
-
scale_val
(self, v)¶ - Parameters
self –
MultiPwAff
v –
Val
- Returns
-
set_dim_id
(self, type, pos, id)¶ - Parameters
self –
MultiPwAff
type –
dim_type
pos –
unsigned
id –
Id
- Returns
-
set_dim_name
(self, type, pos, s)¶ - Parameters
self –
MultiPwAff
type –
dim_type
pos –
unsigned
s – string
- Returns
-
set_pw_aff
(self, pos, el)¶ - Parameters
self –
MultiPwAff
pos –
int
el –
PwAff
- Returns
-
set_range_tuple_id
(self, id)¶ - Parameters
self –
MultiPwAff
id –
Id
- Returns
-
set_tuple_id
(self, type, id)¶ - Parameters
self –
MultiPwAff
type –
dim_type
id –
Id
- Returns
-
set_tuple_name
(self, type, s)¶ - Parameters
self –
MultiPwAff
type –
dim_type
s – string
- Returns
-
splice
(self, in_pos, out_pos, multi2)¶ - Parameters
self –
MultiPwAff
in_pos –
unsigned
out_pos –
unsigned
multi2 –
MultiPwAff
- Returns
-
to_str
(self)¶ - Parameters
self –
MultiPwAff
- Returns
string
-
union_add
(self, mpa2)¶ - Parameters
self –
MultiPwAff
mpa2 –
MultiPwAff
- Returns
Union of Piecewise Multiple Affine Expressions¶
-
class
islpy.
UnionPwMultiAff
(s=None, context=None)¶ empty()
(static)empty_ctx()
(static)empty_space()
(static)from_aff()
(static)from_domain()
(static)from_multi_aff()
(static)from_multi_union_pw_aff()
(static)from_pw_multi_aff()
(static)from_union_map()
(static)from_union_pw_aff()
(static)from_union_set()
(static)
multi_val_on_domain()
(static)read_from_str()
(static)
-
__eq__
(value, /)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(value, /)¶ Return self!=value.
-
add
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
-
add_pw_multi_aff
(self, pma)¶ - Parameters
self –
UnionPwMultiAff
pma –
PwMultiAff
- Returns
-
align_params
(self, model)¶ - Parameters
self –
UnionPwMultiAff
model –
Space
- Returns
-
apply_union_pw_multi_aff
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
-
as_multi_union_pw_aff
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
as_pw_multi_aff
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
as_union_map
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
coalesce
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
copy
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
dim
(self, type)¶ - Parameters
self –
UnionPwMultiAff
type –
dim_type
- Returns
isl_size
-
domain
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
drop_dims
(self, type, first, n)¶ - Parameters
self –
UnionPwMultiAff
type –
dim_type
first –
unsigned
n –
unsigned
- Returns
-
dump
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
None
-
every_pw_multi_aff
(self, test)¶ - Parameters
self –
UnionPwMultiAff
test – callback(pma)
- Returns
bool
-
extract_pw_multi_aff
(self, space)¶ - Parameters
self –
UnionPwMultiAff
space –
Space
- Returns
-
find_dim_by_name
(self, type, name)¶ - Parameters
self –
UnionPwMultiAff
type –
dim_type
name – string
- Returns
int
-
flat_range_product
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
-
foreach_pw_multi_aff
(self, fn)¶ - Parameters
self –
UnionPwMultiAff
fn – callback(pma)
- Returns
isl_stat
-
static
from_multi_union_pw_aff
(mupa)¶ - Parameters
mupa –
MultiUnionPwAff
- Returns
-
static
from_pw_multi_aff
(pma)¶ - Parameters
pma –
PwMultiAff
- Returns
-
static
from_union_pw_aff
(upa)¶ - Parameters
upa –
UnionPwAff
- Returns
-
get_ctx
(self)¶ - Parameters
self –
UnionPwMultiAff
- 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_pw_multi_aff_list
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
get_space
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
get_union_pw_aff
(self, pos)¶ - Parameters
self –
UnionPwMultiAff
pos –
int
- 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
.
-
gist
(self, context)¶ - Parameters
self –
UnionPwMultiAff
context –
UnionSet
- Returns
-
gist_params
(self, context)¶ - Parameters
self –
UnionPwMultiAff
context –
Set
- Returns
-
intersect_domain
(self, uset)¶ - Parameters
self –
UnionPwMultiAff
uset –
UnionSet
- Returns
-
intersect_domain_space
(self, space)¶ - Parameters
self –
UnionPwMultiAff
space –
Space
- Returns
-
intersect_domain_union_set
(self, uset)¶ - Parameters
self –
UnionPwMultiAff
uset –
UnionSet
- Returns
-
intersect_domain_wrapped_domain
(self, uset)¶ - Parameters
self –
UnionPwMultiAff
uset –
UnionSet
- Returns
-
intersect_domain_wrapped_range
(self, uset)¶ - Parameters
self –
UnionPwMultiAff
uset –
UnionSet
- Returns
-
intersect_params
(self, set)¶ - Parameters
self –
UnionPwMultiAff
set –
Set
- Returns
-
involves_locals
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
bool
-
involves_nan
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
bool
-
isa_pw_multi_aff
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
bool
-
static
multi_val_on_domain
(domain, mv)¶ - Parameters
- Returns
-
n_pw_multi_aff
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
isl_size
-
neg
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
plain_is_empty
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
bool
-
plain_is_equal
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
bool
-
preimage_domain_wrapped_domain_union_pw_multi_aff
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
-
pullback_union_pw_multi_aff
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
-
range_factor_domain
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
range_factor_range
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
range_product
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
-
reset_user
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
scale_down_val
(self, val)¶ - Parameters
self –
UnionPwMultiAff
val –
Val
- Returns
-
scale_multi_val
(self, mv)¶ - Parameters
self –
UnionPwMultiAff
mv –
MultiVal
- Returns
-
scale_val
(self, val)¶ - Parameters
self –
UnionPwMultiAff
val –
Val
- Returns
-
set_dim_name
(self, type, pos, s)¶ - Parameters
self –
UnionPwMultiAff
type –
dim_type
pos –
unsigned
s – string
- Returns
-
property
space
¶ get_space(self)
- Parameters
self –
UnionPwMultiAff
- Returns
-
sub
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
-
subtract_domain
(self, uset)¶ - Parameters
self –
UnionPwMultiAff
uset –
UnionSet
- Returns
-
subtract_domain_space
(self, space)¶ - Parameters
self –
UnionPwMultiAff
space –
Space
- Returns
-
subtract_domain_union_set
(self, uset)¶ - Parameters
self –
UnionPwMultiAff
uset –
UnionSet
- Returns
-
to_list
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
-
to_str
(self)¶ - Parameters
self –
UnionPwMultiAff
- Returns
string
-
union_add
(self, upma2)¶ - Parameters
self –
UnionPwMultiAff
upma2 –
UnionPwMultiAff
- Returns
Quasipolynomials¶
Term¶
QPolynomial¶
-
class
islpy.
QPolynomial
¶ from_aff()
(static)from_constraint()
(static)from_term()
(static)
infty_on_domain()
(static)nan_on_domain()
(static)neginfty_on_domain()
(static)one_on_domain()
(static)val_on_domain()
(static)var_on_domain()
(static)zero_on_domain()
(static)
-
__eq__
(value, /)¶ Return self==value.
-
__hash__
()¶ Return hash(self).
-
__ne__
(value, /)¶ Return self!=value.
-
add
(self, qp2)¶ - Parameters
self –
QPolynomial
qp2 –
QPolynomial
- Returns
-
add_dims
(self, type, n)¶ - Parameters
self –
QPolynomial
type –
dim_type
n –
unsigned
- Returns
-
align_params
(self, model)¶ - Parameters
self –
QPolynomial
model –
Space
- Returns
-
as_polynomial_on_domain
(self, bset, fn)¶