To map more directly to the isl’s C interface, object creation in islpy
is done through static methods instead of through constructors. These are
marked ‘(static)’ in each class’s overview section.
Since islpy
is automatically generated from the isl C headers, some of
the functionality it exposes might be undocumented. Undocumented functionality
might change or vanish without notice. ‘Documented’ functionality is defined as
whatever is mentioned in the isl manual. islpy
will let you call
undocumented functions, but you are doing so at your own risk.
You may notice that a few methods below say ‘(becomes invalid)’. This has to do with an idiosyncrasy in isl’s interface that was retained at the Python level for efficiency. Such arguments will be deleted (by isl) upon entry to the called function. If you would like to retain access to that object, simply append a .copy() to that argument. (Note that you will notice if an object got deleted for you accidentally, as the next operation on it will simply fail with an exception.)
Whenever an integer argument is required, islpy
supports regular Python
integers and Python long
integers. It will return Python long integers.
islpy.
format
¶C
= 4¶EXT_POLYLIB
= 6¶ISL
= 0¶LATEX
= 5¶OMEGA
= 3¶POLYLIB
= 1¶POLYLIB_CONSTRAINTS
= 2¶islpy.
error
¶abort
= islpy._isl.error.abort¶internal
= islpy._isl.error.internal¶invalid
= islpy._isl.error.invalid¶none
= islpy._isl.error.none¶unknown
= islpy._isl.error.unknown¶unsupported
= islpy._isl.error.unsupported¶islpy.
dim_type
¶all
= islpy._isl.dim_type.all¶cst
= islpy._isl.dim_type.cst¶div
= islpy._isl.dim_type.div¶in_
= islpy._isl.dim_type.in_¶out
= islpy._isl.dim_type.out¶param
= islpy._isl.dim_type.param¶set
= islpy._isl.dim_type.set¶islpy.
fold
¶list
= islpy._isl.fold.list¶max
= islpy._isl.fold.max¶min
= islpy._isl.fold.min¶islpy.
constants
¶BOUND_BERNSTEIN
= 0¶BOUND_RANGE
= 1¶ON_ERROR_ABORT
= 2¶ON_ERROR_CONTINUE
= 1¶ON_ERROR_WARN
= 0¶SCHEDULE_ALGORITHM_FEAUTRIER
= 1¶SCHEDULE_ALGORITHM_ISL
= 0¶islpy.
ast_op_type
¶access
= islpy._isl.ast_op_type.access¶add
= islpy._isl.ast_op_type.add¶and
= islpy._isl.ast_op_type.and¶and_then
= islpy._isl.ast_op_type.and_then¶call
= islpy._isl.ast_op_type.call¶cond
= islpy._isl.ast_op_type.cond¶div
= islpy._isl.ast_op_type.div¶eq
= islpy._isl.ast_op_type.eq¶error
= islpy._isl.ast_op_type.error¶fdiv_q
= islpy._isl.ast_op_type.fdiv_q¶ge
= islpy._isl.ast_op_type.ge¶gt
= islpy._isl.ast_op_type.gt¶le
= islpy._isl.ast_op_type.le¶lt
= islpy._isl.ast_op_type.lt¶max
= islpy._isl.ast_op_type.max¶member
= islpy._isl.ast_op_type.member¶min
= islpy._isl.ast_op_type.min¶minus
= islpy._isl.ast_op_type.minus¶mul
= islpy._isl.ast_op_type.mul¶names
= {'and': islpy._isl.ast_op_type.and, 'gt': islpy._isl.ast_op_type.gt, 'ge': islpy._isl.ast_op_type.ge, 'cond': islpy._isl.ast_op_type.cond, 'and_then': islpy._isl.ast_op_type.and_then, 'pdiv_r': islpy._isl.ast_op_type.pdiv_r, 'fdiv_q': islpy._isl.ast_op_type.fdiv_q, 'pdiv_q': islpy._isl.ast_op_type.pdiv_q, 'eq': islpy._isl.ast_op_type.eq, 'select': islpy._isl.ast_op_type.select, 'member': islpy._isl.ast_op_type.member, 'le': islpy._isl.ast_op_type.le, 'sub': islpy._isl.ast_op_type.sub, 'min': islpy._isl.ast_op_type.min, 'add': islpy._isl.ast_op_type.add, 'access': islpy._isl.ast_op_type.access, 'lt': islpy._isl.ast_op_type.lt, 'call': islpy._isl.ast_op_type.call, 'or_else': islpy._isl.ast_op_type.or_else, 'mul': islpy._isl.ast_op_type.mul, 'max': islpy._isl.ast_op_type.max, 'or': islpy._isl.ast_op_type.or, 'error': islpy._isl.ast_op_type.error, 'div': islpy._isl.ast_op_type.div, 'minus': islpy._isl.ast_op_type.minus}¶or
= islpy._isl.ast_op_type.or¶or_else
= islpy._isl.ast_op_type.or_else¶pdiv_q
= islpy._isl.ast_op_type.pdiv_q¶pdiv_r
= islpy._isl.ast_op_type.pdiv_r¶select
= islpy._isl.ast_op_type.select¶sub
= islpy._isl.ast_op_type.sub¶values
= {0: islpy._isl.ast_op_type.and, 1: islpy._isl.ast_op_type.and_then, 2: islpy._isl.ast_op_type.or, 3: islpy._isl.ast_op_type.or_else, 4: islpy._isl.ast_op_type.max, 5: islpy._isl.ast_op_type.min, 6: islpy._isl.ast_op_type.minus, 7: islpy._isl.ast_op_type.add, 8: islpy._isl.ast_op_type.sub, 9: islpy._isl.ast_op_type.mul, 10: islpy._isl.ast_op_type.div, 11: islpy._isl.ast_op_type.fdiv_q, 12: islpy._isl.ast_op_type.pdiv_q, 13: islpy._isl.ast_op_type.pdiv_r, 14: islpy._isl.ast_op_type.cond, 15: islpy._isl.ast_op_type.select, 16: islpy._isl.ast_op_type.eq, 17: islpy._isl.ast_op_type.le, 18: islpy._isl.ast_op_type.lt, 19: islpy._isl.ast_op_type.ge, 20: islpy._isl.ast_op_type.gt, 21: islpy._isl.ast_op_type.call, 22: islpy._isl.ast_op_type.access, 23: islpy._isl.ast_op_type.member, -1: islpy._isl.ast_op_type.error}¶islpy.
ast_expr_type
¶error
= islpy._isl.ast_expr_type.error¶id
= islpy._isl.ast_expr_type.id¶int
= islpy._isl.ast_expr_type.int¶names
= {'int': islpy._isl.ast_expr_type.int, 'op': islpy._isl.ast_expr_type.op, 'id': islpy._isl.ast_expr_type.id, 'error': islpy._isl.ast_expr_type.error}¶op
= islpy._isl.ast_expr_type.op¶values
= {0: islpy._isl.ast_expr_type.op, 1: islpy._isl.ast_expr_type.id, 2: islpy._isl.ast_expr_type.int, -1: islpy._isl.ast_expr_type.error}¶islpy.
ast_node_type
¶block
= islpy._isl.ast_node_type.block¶error
= islpy._isl.ast_node_type.error¶for
= islpy._isl.ast_node_type.for¶if
= islpy._isl.ast_node_type.if¶names
= {'user': islpy._isl.ast_node_type.user, 'if': islpy._isl.ast_node_type.if, 'block': islpy._isl.ast_node_type.block, 'for': islpy._isl.ast_node_type.for, 'error': islpy._isl.ast_node_type.error}¶user
= islpy._isl.ast_node_type.user¶values
= {1: islpy._isl.ast_node_type.for, 2: islpy._isl.ast_node_type.if, 3: islpy._isl.ast_node_type.block, 4: islpy._isl.ast_node_type.user, -1: islpy._isl.ast_node_type.error}¶(formerly called Dim
. A compatibility alias is in place.)
islpy.
Space
¶alloc
(ctx, nparam, n_in, n_out)¶Parameters: |
|
---|---|
Returns: |
create_from_names
(ctx, set=None, in_=None, out=None, params=[])¶Create a Space
from lists of variable names.
Parameters: |
|
---|
drop_dims
(self, type, first, num)¶Parameters: | |
---|---|
Returns: |
extend
(self, nparam, n_in, n_out)¶Parameters: |
|
---|---|
Returns: |
find_dim_by_name
(self, type, name)¶Parameters: | |
---|---|
Returns: | int |
flatten_domain
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | LocalSpace |
flatten_range
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | LocalSpace |
from_space
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | LocalSpace |
get_dim_name
(self, type, pos)¶Parameters: | |
---|---|
Returns: | string |
get_div
(self, pos)¶Parameters: |
|
---|---|
Returns: |
get_id_dict
(dimtype=None)¶Return a dictionary mapping variable Id
instances to tuples
of (dim_type
, index).
Parameters: | dimtype – None to get all variables, otherwise
one of dim_type . |
---|
get_space
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | Space |
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 . |
---|
get_var_names
(basic_instance, *args, **kwargs)¶Return a list of dim names (in order) for dim_type
dimtype.
insert_dims
(self, type, pos, n)¶Parameters: | |
---|---|
Returns: |
intersect
(self, ls2)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
lifting
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | BasicMap |
match
(self, dim1_type, dim2, dim2_type)¶Parameters: | |
---|---|
Returns: | int |
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: | |
---|---|
Returns: |
set_alloc
(ctx, nparam, dim)¶Parameters: |
|
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: | |
---|---|
Returns: |
set_dim_name
(self, type, pos, name)¶Parameters: | |
---|---|
Returns: |
tuple_match
(self, dim1_type, dim2, dim2_type)¶Parameters: | |
---|---|
Returns: | int |
islpy.
LocalSpace
¶
|
add_dims
(self, type, n)¶Parameters: |
|
---|---|
Returns: |
copy
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | LocalSpace |
dim
(self, type)¶Parameters: |
|
---|---|
Returns: | int |
domain
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | LocalSpace |
drop_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
flatten_domain
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | LocalSpace |
flatten_range
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | LocalSpace |
from_domain
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | LocalSpace |
from_space
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | LocalSpace |
get_ctx
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | Context |
get_dim_id
(self, type, pos)¶Parameters: |
|
---|---|
Returns: |
get_dim_name
(self, type, pos)¶Parameters: |
|
---|---|
Returns: | string |
get_div
(self, pos)¶Parameters: |
|
---|---|
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_space
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | Space |
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)¶Parameters: |
|
---|---|
Returns: | bool |
has_dim_name
(self, type, pos)¶Parameters: |
|
---|---|
Returns: | bool |
insert_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
intersect
(self, ls2)¶Parameters: |
|
---|---|
Returns: |
is_equal
(self, ls2)¶Parameters: |
|
---|---|
Returns: | bool |
is_set
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | bool |
is_valid
()¶Return whether current object is still valid.
lifting
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | BasicMap |
range
(self)¶Parameters: | self – LocalSpace |
---|---|
Returns: | LocalSpace |
set_dim_id
(self, type, pos, id)¶Parameters: |
|
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: |
|
---|---|
Returns: |
set_tuple_id
(self, type, id)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – LocalSpace |
---|---|
Returns: | Space |
islpy.
Constraint
¶
|
eq_from_names
(space, coefficients={})¶Create a constraint const + coeff_1*var_1 +... == 0.
Parameters: |
---|
Changed in version 2011.3: Eliminated the separate const parameter.
equality_alloc
(ls)¶Parameters: | ls – LocalSpace |
---|---|
Returns: | Constraint |
equality_from_aff
(aff)¶Parameters: | aff – Aff |
---|---|
Returns: | Constraint |
get_aff
(self)¶Parameters: | self – Constraint |
---|---|
Returns: | Aff |
get_bound
(self, type, pos)¶Parameters: |
|
---|---|
Returns: |
get_coefficient_val
(self, type, pos)¶Parameters: |
|
---|---|
Returns: |
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_constant_val
(self)¶Parameters: | self – Constraint |
---|---|
Returns: | Val |
get_ctx
(self)¶Parameters: | self – Constraint |
---|---|
Returns: | Context |
get_dim_name
(self, type, pos)¶Parameters: |
|
---|---|
Returns: | string |
get_div
(self, pos)¶Parameters: |
|
---|---|
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_local_space
(self)¶Parameters: | self – Constraint |
---|---|
Returns: | LocalSpace |
get_space
(self)¶Parameters: | self – Constraint |
---|---|
Returns: | Space |
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 . |
---|
ineq_from_names
(space, coefficients={})¶Create a constraint const + coeff_1*var_1 +... >= 0.
Parameters: |
---|
Changed in version 2011.3: Eliminated the separate const parameter.
inequality_alloc
(ls)¶Parameters: | ls – LocalSpace |
---|---|
Returns: | Constraint |
inequality_from_aff
(aff)¶Parameters: | aff – Aff |
---|---|
Returns: | Constraint |
involves_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: | int |
is_div_constraint
(self)¶Parameters: | self – Constraint |
---|---|
Returns: | bool |
is_equality
(self)¶Parameters: | self – Constraint |
---|---|
Returns: | bool |
is_lower_bound
(self, type, pos)¶Parameters: |
|
---|---|
Returns: | bool |
is_upper_bound
(self, type, pos)¶Parameters: |
|
---|---|
Returns: | bool |
is_valid
()¶Return whether current object is still valid.
list_add
(self, el)¶Parameters: |
|
---|---|
Returns: |
|
list_concat
(self, list2)¶Parameters: |
|
---|---|
Returns: |
|
list_copy
(self)¶Parameters: | self – ConstraintList |
---|---|
Returns: | ConstraintList |
list_drop
(self, first, n)¶Parameters: |
|
---|---|
Returns: |
|
list_dump
(self)¶Parameters: | self – ConstraintList |
---|---|
Returns: | None |
list_foreach
(self)¶Parameters: |
|
---|---|
Returns: | int |
list_from_constraint
(self)¶Parameters: | self – Constraint |
---|---|
Returns: | ConstraintList |
list_insert
(self, pos, el)¶Parameters: |
|
---|---|
Returns: |
|
list_n_constraint
(self)¶Parameters: | self – ConstraintList |
---|---|
Returns: | int |
list_set_constraint
(self, index, el)¶Parameters: |
|
---|---|
Returns: |
|
set_coefficient_val
(self, type, pos, v)¶Parameters: |
|
---|---|
Returns: |
set_coefficients_by_name
(iterable, name_to_dim=None)¶Set the coefficients and the constant.
Parameters: | iterable – a dict or iterable of tuple
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_constant_val
(self, v)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – Constraint |
---|---|
Returns: | Space |
islpy.
Val
(src, context=None)¶
|
|
is_valid
()¶Return whether current object is still valid.
list_concat
(self, list2)¶Parameters: |
|
---|---|
Returns: |
|
list_copy
(self)¶Parameters: | self – ValList |
---|---|
Returns: | ValList |
list_drop
(self, first, n)¶Parameters: |
|
---|---|
Returns: |
|
list_dump
(self)¶Parameters: | self – ValList |
---|---|
Returns: | None |
list_foreach
(self)¶Parameters: |
|
---|---|
Returns: | int |
list_n_val
(self)¶Parameters: | self – ValList |
---|---|
Returns: | int |
islpy.
MultiVal
¶drop_dims
(self, type, first, n)¶Parameters: | |
---|---|
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_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, first, n)¶Parameters: | |
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
range_splice
(self, pos, multi2)¶Parameters: | |
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: | |
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: | |
---|---|
Returns: |
set_tuple_name
(self, type, s)¶Parameters: | |
---|---|
Returns: |
splice
(self, in_pos, out_pos, multi2)¶Parameters: | |
---|---|
Returns: |
islpy.
Vec
¶
|
is_valid
()¶Return whether current object is still valid.
move_els
(self, dst_col, src_col, n)¶Parameters: |
|
---|---|
Returns: |
islpy.
Mat
¶
|
alloc
(ctx, n_row, n_col)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
move_cols
(self, dst_col, src_col, n)¶Parameters: |
|
---|---|
Returns: |
print_internal
(self, out, indent)¶Parameters: | |
---|---|
Returns: | None |
islpy.
BasicSet
(s, context=None)¶add_constraint
(self, constraint)¶Parameters: |
|
---|---|
Returns: |
add_constraints
(obj, constraints)¶New in version 2011.3.
apply_pw_qpolynomial_fold
(self, pwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
apply_union_pw_qpolynomial_fold
(self, upwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
compute_schedule
(self, validity, proximity)¶Parameters: | |
---|---|
Returns: |
dim_has_any_lower_bound
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
dim_has_any_upper_bound
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
dim_has_lower_bound
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
dim_has_upper_bound
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
dim_residue_class_val
(self, pos)¶Parameters: | |
---|---|
Returns: |
drop_constraint
(self, constraint)¶Parameters: |
|
---|---|
Returns: |
drop_constraints_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
drop_constraints_not_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
eliminate
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
eliminate_except
(obj, names, types)¶Parameters: |
|
---|
New in version 2011.3.
equalities_matrix
(self, c1, c2, c3, c4)¶Parameters: | |
---|---|
Returns: |
equate
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
find_dim_by_name
(self, type, name)¶Parameters: | |
---|---|
Returns: | int |
fix_val
(self, type, pos, v)¶Parameters: | |
---|---|
Returns: |
foreach_bound_pair
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
from_constraint_matrices
(dim, eq, ineq, c1, c2, c3, c4)¶Parameters: | |
---|---|
Returns: |
from_pw_multi_aff
(pma)¶Parameters: | pma – PwMultiAff |
---|---|
Returns: | Set |
get_constraints
()¶Get a list of constraints.
get_dim_name
(self, type, pos)¶Parameters: | |
---|---|
Returns: | string |
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_local_space
(self)¶Parameters: | self – BasicSet |
---|---|
Returns: | LocalSpace |
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)¶Parameters: | |
---|---|
Returns: |
insert_dims
(self, type, pos, n)¶Parameters: | |
---|---|
Returns: |
involves_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: | int |
is_valid
()¶Return whether current object is still valid.
lexmax_pw_multi_aff
(self)¶Parameters: | self – Set |
---|---|
Returns: | PwMultiAff |
lexmin_pw_multi_aff
(self)¶Parameters: | self – Set |
---|---|
Returns: | PwMultiAff |
lower_bound_val
(self, type, pos, value)¶Parameters: | |
---|---|
Returns: |
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: | |
---|---|
Returns: |
partial_lexmax
(self, dom)¶Parameters: | |
---|---|
Returns: |
partial_lexmax_pw_multi_aff
(self, dom)¶Parameters: | |
---|---|
Returns: | tuple: ( |
partial_lexmin
(self, dom)¶Parameters: | |
---|---|
Returns: |
partial_lexmin_pw_multi_aff
(self, dom)¶Parameters: | |
---|---|
Returns: | tuple: ( |
plain_get_val_if_fixed
(self, type, pos)¶Parameters: | |
---|---|
Returns: |
preimage_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
print_
(self, out, indent, prefix, suffix, output_format)¶Parameters: | |
---|---|
Returns: | None |
print_internal
(self, out, indent)¶Parameters: | |
---|---|
Returns: | None |
project_out
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
project_out_except
(obj, names, types)¶Parameters: |
|
---|
New in version 2011.3.
read_from_file
(ctx, input)¶Parameters: |
|
---|---|
Returns: |
remove_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
remove_divs_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: | |
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: | |
---|---|
Returns: |
split_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
islpy.
BasicMap
(s, context=None)¶add_constraint
(self, constraint)¶Parameters: |
|
---|---|
Returns: |
add_constraints
(obj, constraints)¶New in version 2011.3.
apply_pw_qpolynomial_fold
(self, pwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
apply_union_pw_qpolynomial_fold
(self, upwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
compute_flow
(self, must_source, may_source, schedule)¶Parameters: | |
---|---|
Returns: | tuple: (must_dep ( |
drop_constraints_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
eliminate
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
equalities_matrix
(self, c1, c2, c3, c4, c5)¶Parameters: | |
---|---|
Returns: |
equate
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
find_dim_by_name
(self, type, name)¶Parameters: | |
---|---|
Returns: | int |
fix_val
(self, type, pos, v)¶Parameters: | |
---|---|
Returns: |
from_aff_list
(domain_dim, list)¶Parameters: | |
---|---|
Returns: |
from_constraint
(constraint)¶Parameters: | constraint – Constraint |
---|---|
Returns: | BasicMap |
from_constraint_matrices
(dim, eq, ineq, c1, c2, c3, c4, c5)¶Parameters: | |
---|---|
Returns: |
from_domain_and_range
(domain, range)¶Parameters: | |
---|---|
Returns: |
from_pw_multi_aff
(pma)¶Parameters: | pma – PwMultiAff |
---|---|
Returns: | Map |
from_qpolynomial
(qp)¶Parameters: | qp – QPolynomial |
---|---|
Returns: | BasicMap |
from_union_pw_multi_aff
(upma)¶Parameters: | upma – UnionPwMultiAff |
---|---|
Returns: | UnionMap |
get_constraints
()¶Get a list of constraints.
get_dim_name
(self, type, pos)¶Parameters: | |
---|---|
Returns: | string |
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_local_space
(self)¶Parameters: | self – BasicMap |
---|---|
Returns: | LocalSpace |
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 ( |
has_dim_id
(self, type, pos)¶Parameters: | |
---|---|
Returns: | bool |
inequalities_matrix
(self, c1, c2, c3, c4, c5)¶Parameters: | |
---|---|
Returns: |
insert_dims
(self, type, pos, n)¶Parameters: | |
---|---|
Returns: |
involves_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: | int |
is_valid
()¶Return whether current object is still valid.
lexmax_pw_multi_aff
(self)¶Parameters: | self – Map |
---|---|
Returns: | PwMultiAff |
lexmin_pw_multi_aff
(self)¶Parameters: | self – BasicMap |
---|---|
Returns: | PwMultiAff |
lower_bound_si
(self, type, pos, value)¶Parameters: | |
---|---|
Returns: |
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: | |
---|---|
Returns: |
oppose
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
order_ge
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
order_gt
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
order_le
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
order_lt
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
partial_lexmax
(self, dom)¶Parameters: | |
---|---|
Returns: |
partial_lexmax_pw_multi_aff
(self, dom)¶Parameters: | |
---|---|
Returns: | tuple: ( |
partial_lexmin
(self, dom)¶Parameters: | |
---|---|
Returns: |
partial_lexmin_pw_multi_aff
(self, dom)¶Parameters: | |
---|---|
Returns: | tuple: ( |
plain_get_val_if_fixed
(self, type, pos)¶Parameters: | |
---|---|
Returns: |
preimage_domain_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_domain_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
preimage_range_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_range_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
print_
(self, out, indent, prefix, suffix, output_format)¶Parameters: | |
---|---|
Returns: | None |
print_internal
(self, out, indent)¶Parameters: | |
---|---|
Returns: | None |
project_out
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
project_out_except
(obj, names, types)¶Parameters: |
|
---|
New in version 2011.3.
read_from_file
(ctx, input)¶Parameters: |
|
---|---|
Returns: |
remove_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
remove_divs_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: | |
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: | |
---|---|
Returns: |
set_tuple_name
(self, type, s)¶Parameters: | |
---|---|
Returns: |
upper_bound_si
(self, type, pos, value)¶Parameters: | |
---|---|
Returns: |
islpy.
Set
(s, context=None)¶add_constraint
(self, constraint)¶Parameters: |
|
---|---|
Returns: |
add_constraints
(obj, constraints)¶New in version 2011.3.
apply_pw_qpolynomial_fold
(self, pwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
apply_union_pw_qpolynomial_fold
(self, upwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
compute_schedule
(self, validity, proximity)¶Parameters: | |
---|---|
Returns: |
dim_has_any_lower_bound
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
dim_has_any_upper_bound
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
dim_has_lower_bound
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
dim_has_upper_bound
(self, type, pos)¶Parameters: | |
---|---|
Returns: | int |
dim_residue_class_val
(self, pos)¶Parameters: | |
---|---|
Returns: |
drop_constraints_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
eliminate
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
eliminate_except
(obj, names, types)¶Parameters: |
|
---|
New in version 2011.3.
equate
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
find_dim_by_name
(self, type, name)¶Parameters: | |
---|---|
Returns: | int |
fix_val
(self, type, pos, v)¶Parameters: | |
---|---|
Returns: |
from_pw_multi_aff
(pma)¶Parameters: | pma – PwMultiAff |
---|---|
Returns: | Set |
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 . |
---|
insert_dims
(self, type, pos, n)¶Parameters: | |
---|---|
Returns: |
involves_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: | int |
is_valid
()¶Return whether current object is still valid.
lexmax_pw_multi_aff
(self)¶Parameters: | self – Set |
---|---|
Returns: | PwMultiAff |
lexmin_pw_multi_aff
(self)¶Parameters: | self – Set |
---|---|
Returns: | PwMultiAff |
lower_bound_val
(self, type, pos, value)¶Parameters: | |
---|---|
Returns: |
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: | |
---|---|
Returns: |
plain_get_val_if_fixed
(self, type, pos)¶Parameters: | |
---|---|
Returns: |
preimage_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
print_
(self, out, indent, output_format)¶Parameters: | |
---|---|
Returns: | None |
print_internal
(self, out, indent)¶Parameters: | |
---|---|
Returns: | None |
project_out
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
project_out_except
(obj, names, types)¶Parameters: |
|
---|
New in version 2011.3.
read_from_file
(ctx, input)¶Parameters: |
|
---|---|
Returns: |
remove_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
remove_divs_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: | |
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: | |
---|---|
Returns: |
split_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
islpy.
Map
(s, context=None)¶add_constraint
(self, constraint)¶Parameters: |
|
---|---|
Returns: |
add_constraints
(obj, constraints)¶New in version 2011.3.
apply_pw_qpolynomial_fold
(self, pwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
apply_union_pw_qpolynomial_fold
(self, upwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
compute_flow
(self, must_source, may_source, schedule)¶Parameters: | |
---|---|
Returns: | tuple: (must_dep ( |
drop_constraints_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
eliminate
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
equate
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
find_dim_by_name
(self, type, name)¶Parameters: | |
---|---|
Returns: | int |
fix_val
(self, type, pos, v)¶Parameters: | |
---|---|
Returns: |
from_pw_multi_aff
(pma)¶Parameters: | pma – PwMultiAff |
---|---|
Returns: | Map |
from_union_pw_multi_aff
(upma)¶Parameters: | upma – UnionPwMultiAff |
---|---|
Returns: | UnionMap |
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 . |
---|
insert_dims
(self, type, pos, n)¶Parameters: | |
---|---|
Returns: |
involves_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: | int |
is_valid
()¶Return whether current object is still valid.
lexmax_pw_multi_aff
(self)¶Parameters: | self – Map |
---|---|
Returns: | PwMultiAff |
lexmin_pw_multi_aff
(self)¶Parameters: | self – Map |
---|---|
Returns: | PwMultiAff |
lower_bound_si
(self, type, pos, value)¶Parameters: | |
---|---|
Returns: |
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: | |
---|---|
Returns: |
oppose
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
order_ge
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
order_gt
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
order_le
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
order_lt
(self, type1, pos1, type2, pos2)¶Parameters: | |
---|---|
Returns: |
plain_get_val_if_fixed
(self, type, pos)¶Parameters: | |
---|---|
Returns: |
preimage_domain_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_domain_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
preimage_range_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_range_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
print_
(self, out, indent, output_format)¶Parameters: | |
---|---|
Returns: | None |
print_internal
(self, out, indent)¶Parameters: | |
---|---|
Returns: | None |
project_out
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
project_out_except
(obj, names, types)¶Parameters: |
|
---|
New in version 2011.3.
read_from_file
(ctx, input)¶Parameters: |
|
---|---|
Returns: |
remove_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
remove_divs_involving_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: | |
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: | |
---|---|
Returns: |
upper_bound_si
(self, type, pos, value)¶Parameters: | |
---|---|
Returns: |
islpy.
UnionSet
(s, context=None)¶
|
apply_union_pw_qpolynomial_fold
(self, upwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
compute_schedule
(self, validity, proximity)¶Parameters: | |
---|---|
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_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 . |
---|
is_valid
()¶Return whether current object is still valid.
preimage_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
islpy.
UnionMap
(s, context=None)¶apply_union_pw_qpolynomial_fold
(self, upwf)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
compute_flow
(self, must_source, may_source, schedule)¶Parameters: | |
---|---|
Returns: | tuple: (must_dep ( |
from_domain_and_range
(domain, range)¶Parameters: | |
---|---|
Returns: |
from_union_pw_multi_aff
(upma)¶Parameters: | upma – UnionPwMultiAff |
---|---|
Returns: | UnionMap |
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 . |
---|
is_valid
()¶Return whether current object is still valid.
preimage_domain_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_domain_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
preimage_range_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
preimage_range_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
project_out
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
islpy.
Point
¶
|
|
add_ui
(self, type, pos, val)¶Parameters: | |
---|---|
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_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 . |
---|
is_valid
()¶Return whether current object is still valid.
set_coordinate_val
(self, type, pos, v)¶Parameters: | |
---|---|
Returns: |
sub_ui
(self, type, pos, val)¶Parameters: | |
---|---|
Returns: |
islpy.
Vertices
¶
|
is_valid
()¶Return whether current object is still valid.
islpy.
Cell
¶
|
is_valid
()¶Return whether current object is still valid.
islpy.
Aff
(s, context=None)¶add_coefficient_val
(self, type, pos, v)¶Parameters: | |
---|---|
Returns: |
cond
(self, pwaff_true, pwaff_false)¶Parameters: | |
---|---|
Returns: |
drop_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
get_aggregate_domain
(basic_instance, *args, **kwargs)¶Returns: | a Set that is the union of the domains of all pieces |
---|
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_domain_local_space
(self)¶Parameters: | self – Aff |
---|---|
Returns: | LocalSpace |
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_local_space
(self)¶Parameters: | self – Aff |
---|---|
Returns: | LocalSpace |
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, first, n)¶Parameters: | |
---|---|
Returns: |
involves_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: | int |
is_valid
()¶Return whether current object is still valid.
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: | |
---|---|
Returns: |
nan_on_domain
(ls)¶Parameters: | ls – LocalSpace |
---|---|
Returns: | Aff |
pullback_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
set_coefficient_val
(self, type, pos, v)¶Parameters: | |
---|---|
Returns: |
set_coefficients_by_name
(iterable, name_to_dim=None)¶Set the coefficients and the constant.
Parameters: | iterable – a dict or iterable of tuple
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)¶Parameters: | |
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: | |
---|---|
Returns: |
val_on_domain
(ls, val)¶Parameters: |
|
---|---|
Returns: |
var_on_domain
(ls, type, pos)¶Parameters: |
|
---|---|
Returns: |
zero_on_domain
(ls)¶Parameters: | ls – LocalSpace |
---|---|
Returns: | Aff |
islpy.
PwAff
(s, context=None)¶cond
(self, pwaff_true, pwaff_false)¶Parameters: | |
---|---|
Returns: |
drop_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
get_dim_name
(self, type, pos)¶Parameters: | |
---|---|
Returns: | string |
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 . |
---|
insert_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: |
involves_dims
(self, type, first, n)¶Parameters: | |
---|---|
Returns: | int |
is_valid
()¶Return whether current object is still valid.
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: | |
---|---|
Returns: |
nan_on_domain
(ls)¶Parameters: | ls – LocalSpace |
---|---|
Returns: | PwAff |
pullback_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: | |
---|---|
Returns: |
var_on_domain
(ls, type, pos)¶Parameters: |
|
---|---|
Returns: |
zero_on_domain
(ls)¶Parameters: | ls – LocalSpace |
---|---|
Returns: | PwAff |
islpy.
MultiAff
(s, context=None)¶drop_dims
(self, type, first, n)¶Parameters: | |
---|---|
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_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, first, n)¶Parameters: | |
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
lift
(self)¶Parameters: | self – MultiAff |
---|---|
Returns: | tuple: (MultiAff , ls (LocalSpace )) |
project_out_map
(space, type, first, n)¶Parameters: | |
---|---|
Returns: |
range_splice
(self, pos, multi2)¶Parameters: | |
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: | |
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: | |
---|---|
Returns: |
set_tuple_name
(self, type, s)¶Parameters: | |
---|---|
Returns: |
splice
(self, in_pos, out_pos, multi2)¶Parameters: | |
---|---|
Returns: |
islpy.
PwMultiAff
(s, context=None)¶
|
|
add
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
align_params
(self, model)¶Parameters: |
|
---|---|
Returns: |
alloc
(set, maff)¶Parameters: | |
---|---|
Returns: |
coalesce
(self)¶Parameters: | self – PwMultiAff |
---|---|
Returns: | PwMultiAff |
copy
(self)¶Parameters: | self – PwMultiAff |
---|---|
Returns: | PwMultiAff |
dim
(self, type)¶Parameters: |
|
---|---|
Returns: | unsigned |
domain
(self)¶Parameters: | self – PwMultiAff |
---|---|
Returns: | Set |
drop_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
empty
(space)¶Parameters: | space – Space |
---|---|
Returns: | PwMultiAff |
fix_si
(self, type, pos, value)¶Parameters: |
|
---|---|
Returns: |
flat_range_product
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
foreach_piece
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_domain
(set)¶Parameters: | set – Set |
---|---|
Returns: | PwMultiAff |
from_map
(map)¶Parameters: | map – Map |
---|---|
Returns: | PwMultiAff |
from_multi_aff
(ma)¶Parameters: | ma – MultiAff |
---|---|
Returns: | PwMultiAff |
from_multi_pw_aff
(mpa)¶Parameters: | mpa – MultiPwAff |
---|---|
Returns: | PwMultiAff |
from_pw_aff
(pa)¶Parameters: | pa – PwAff |
---|---|
Returns: | PwMultiAff |
from_set
(set)¶Parameters: | set – Set |
---|---|
Returns: | PwMultiAff |
get_ctx
(self)¶Parameters: | self – PwMultiAff |
---|---|
Returns: | Context |
get_dim_id
(self, type, pos)¶Parameters: |
|
---|---|
Returns: |
get_dim_name
(self, type, pos)¶Parameters: |
|
---|---|
Returns: | string |
get_domain_space
(self)¶Parameters: | self – PwMultiAff |
---|---|
Returns: | Space |
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: |
|
---|---|
Returns: |
get_space
(self)¶Parameters: | self – PwMultiAff |
---|---|
Returns: | Space |
get_tuple_id
(self, type)¶Parameters: |
|
---|---|
Returns: |
get_tuple_name
(self, type)¶Parameters: |
|
---|---|
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: |
|
---|---|
Returns: |
gist_params
(self, set)¶Parameters: |
|
---|---|
Returns: |
has_tuple_id
(self, type)¶Parameters: |
|
---|---|
Returns: | bool |
has_tuple_name
(self, type)¶Parameters: |
|
---|---|
Returns: | bool |
identity
(space)¶Parameters: | space – Space |
---|---|
Returns: | PwMultiAff |
intersect_domain
(self, set)¶Parameters: |
|
---|---|
Returns: |
intersect_params
(self, set)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
plain_is_equal
(self, pma2)¶Parameters: |
|
---|---|
Returns: | int |
product
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
project_domain_on_params
(self)¶Parameters: | self – PwMultiAff |
---|---|
Returns: | PwMultiAff |
project_out_map
(space, type, first, n)¶Parameters: | |
---|---|
Returns: |
pullback_multi_aff
(self, ma)¶Parameters: |
|
---|---|
Returns: |
pullback_pw_multi_aff
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
range_product
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
scale_multi_val
(self, mv)¶Parameters: |
|
---|---|
Returns: |
scale_val
(self, v)¶Parameters: |
|
---|---|
Returns: |
set_dim_id
(self, type, pos, id)¶Parameters: |
|
---|---|
Returns: |
set_pw_aff
(self, pos, pa)¶Parameters: |
|
---|---|
Returns: |
set_tuple_id
(self, type, id)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – PwMultiAff |
---|---|
Returns: | Space |
sub
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
union_add
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
union_lexmax
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
union_lexmin
(self, pma2)¶Parameters: |
|
---|---|
Returns: |
zero
(space)¶Parameters: | space – Space |
---|---|
Returns: | PwMultiAff |
islpy.
UnionPwMultiAff
(s, context=None)¶
|
|
add
(self, upma2)¶Parameters: |
|
---|---|
Returns: |
add_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
align_params
(self, model)¶Parameters: |
|
---|---|
Returns: |
copy
(self)¶Parameters: | self – UnionPwMultiAff |
---|---|
Returns: | UnionPwMultiAff |
domain
(self)¶Parameters: | self – UnionPwMultiAff |
---|---|
Returns: | UnionSet |
empty
(space)¶Parameters: | space – Space |
---|---|
Returns: | UnionPwMultiAff |
flat_range_product
(self, upma2)¶Parameters: |
|
---|---|
Returns: |
foreach_pw_multi_aff
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_domain
(uset)¶Parameters: | uset – UnionSet |
---|---|
Returns: | UnionPwMultiAff |
from_union_map
(umap)¶Parameters: | umap – UnionMap |
---|---|
Returns: | UnionPwMultiAff |
from_union_set
(uset)¶Parameters: | uset – UnionSet |
---|---|
Returns: | UnionPwMultiAff |
get_ctx
(self)¶Parameters: | self – UnionPwMultiAff |
---|---|
Returns: | Context |
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_space
(self)¶Parameters: | self – UnionPwMultiAff |
---|---|
Returns: | Space |
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 . |
---|
intersect_domain
(self, uset)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
scale_multi_val
(self, mv)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – UnionPwMultiAff |
---|---|
Returns: | Space |
sub
(self, upma2)¶Parameters: |
|
---|---|
Returns: |
to_str
(self)¶Parameters: | self – UnionPwMultiAff |
---|---|
Returns: | string |
islpy.
QPolynomial
¶
|
|
add
(self, qp2)¶Parameters: |
|
---|---|
Returns: |
add_dims
(self, type, n)¶Parameters: |
|
---|---|
Returns: |
align_params
(self, model)¶Parameters: |
|
---|---|
Returns: |
as_polynomial_on_domain
(self, bset)¶Parameters: |
|
---|---|
Returns: | int |
copy
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | QPolynomial |
dim
(self, type)¶Parameters: |
|
---|---|
Returns: | unsigned |
drop_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
eval
(self, pnt)¶Parameters: |
|
---|---|
Returns: |
foreach_term
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_aff
(aff)¶Parameters: | aff – Aff |
---|---|
Returns: | QPolynomial |
from_constraint
(c, type, pos)¶Parameters: |
|
---|---|
Returns: |
from_term
(term)¶Parameters: | term – Term |
---|---|
Returns: | QPolynomial |
get_constant_val
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | Val |
get_ctx
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | Context |
get_domain_space
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | Space |
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_space
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | Space |
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: |
|
---|---|
Returns: |
gist_params
(self, context)¶Parameters: |
|
---|---|
Returns: |
homogenize
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | QPolynomial |
infty_on_domain
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | QPolynomial |
insert_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
involves_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: | int |
is_infty
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | bool |
is_nan
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | bool |
is_neginfty
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | bool |
is_valid
()¶Return whether current object is still valid.
is_zero
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | bool |
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: |
|
---|---|
Returns: |
mul
(self, qp2)¶Parameters: |
|
---|---|
Returns: |
nan_on_domain
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | QPolynomial |
neg
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | QPolynomial |
neginfty_on_domain
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | QPolynomial |
one_on_domain
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | QPolynomial |
plain_is_equal
(self, qp2)¶Parameters: |
|
---|---|
Returns: | int |
pow
(self, power)¶Parameters: |
|
---|---|
Returns: |
print_
(self, out, output_format)¶Parameters: |
|
---|---|
Returns: | None |
project_domain_on_params
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | QPolynomial |
scale_val
(self, v)¶Parameters: |
|
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: |
|
---|---|
Returns: |
sgn
(self)¶Parameters: | self – QPolynomial |
---|---|
Returns: | int |
space
¶get_space(self)
Parameters: | self – QPolynomial |
---|---|
Returns: | Space |
sub
(self, qp2)¶Parameters: |
|
---|---|
Returns: |
val_on_domain
(space, val)¶Parameters: | |
---|---|
Returns: |
var_on_domain
(dim, type, pos)¶Parameters: | |
---|---|
Returns: |
zero_on_domain
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | QPolynomial |
islpy.
PwQPolynomial
(s, context=None)¶
|
add
(self, pwqp2)¶Parameters: |
|
---|---|
Returns: |
add_dims
(self, type, n)¶Parameters: |
|
---|---|
Returns: |
add_disjoint
(self, pwqp2)¶Parameters: |
|
---|---|
Returns: |
alloc
(set, qp)¶Parameters: |
|
---|---|
Returns: |
bound
(self, type)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
coalesce
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | PwQPolynomial |
copy
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | PwQPolynomial |
dim
(self, type)¶Parameters: |
|
---|---|
Returns: | unsigned |
domain
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | Set |
drop_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
eval
(self, pnt)¶Parameters: |
|
---|---|
Returns: |
fix_val
(self, type, n, v)¶Parameters: |
|
---|---|
Returns: |
foreach_lifted_piece
(self)¶Parameters: |
|
---|---|
Returns: | int |
foreach_piece
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_pw_aff
(pwaff)¶Parameters: | pwaff – PwAff |
---|---|
Returns: | PwQPolynomial |
from_qpolynomial
(qp)¶Parameters: | qp – QPolynomial |
---|---|
Returns: | PwQPolynomial |
get_ctx
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | Context |
get_domain_space
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | Space |
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_space
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | Space |
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: |
|
---|---|
Returns: |
gist_params
(self, context)¶Parameters: |
|
---|---|
Returns: |
has_equal_space
(self, pwqp2)¶Parameters: |
|
---|---|
Returns: | bool |
insert_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
intersect_domain
(self, set)¶Parameters: |
|
---|---|
Returns: |
intersect_params
(self, set)¶Parameters: |
|
---|---|
Returns: |
involves_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: | int |
is_valid
()¶Return whether current object is still valid.
is_zero
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | bool |
max
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | Val |
min
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | Val |
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: |
|
---|---|
Returns: |
mul
(self, pwqp2)¶Parameters: |
|
---|---|
Returns: |
neg
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | PwQPolynomial |
plain_is_equal
(self, pwqp2)¶Parameters: |
|
---|---|
Returns: | int |
pow
(self, exponent)¶Parameters: |
|
---|---|
Returns: |
print_
(self, out, output_format)¶Parameters: |
|
---|---|
Returns: | None |
project_domain_on_params
(self)¶Parameters: | self – PwQPolynomial |
---|---|
Returns: | PwQPolynomial |
read_from_file
(ctx, input)¶Parameters: |
|
---|---|
Returns: |
reset_domain_space
(self, dim)¶Parameters: |
|
---|---|
Returns: |
scale_val
(self, v)¶Parameters: |
|
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – PwQPolynomial |
---|---|
Returns: | Space |
split_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
split_periods
(self, max_periods)¶Parameters: |
|
---|---|
Returns: |
sub
(self, pwqp2)¶Parameters: |
|
---|---|
Returns: |
to_polynomial
(self, sign)¶Parameters: |
|
---|---|
Returns: |
zero
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | PwQPolynomial |
islpy.
UnionPwQPolynomial
(s, context=None)¶
|
add
(self, upwqp2)¶Parameters: |
|
---|---|
Returns: |
add_pw_qpolynomial
(self, pwqp)¶Parameters: |
|
---|---|
Returns: |
align_params
(self, model)¶Parameters: |
|
---|---|
Returns: |
bound
(self, type)¶Parameters: |
|
---|---|
Returns: | tuple: ( |
coalesce
(self)¶Parameters: | self – UnionPwQPolynomial |
---|---|
Returns: | UnionPwQPolynomial |
copy
(self)¶Parameters: | self – UnionPwQPolynomial |
---|---|
Returns: | UnionPwQPolynomial |
domain
(self)¶Parameters: | self – UnionPwQPolynomial |
---|---|
Returns: | UnionSet |
eval
(self, pnt)¶Parameters: |
|
---|---|
Returns: |
extract_pw_qpolynomial
(self, dim)¶Parameters: |
|
---|---|
Returns: |
foreach_pw_qpolynomial
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_pw_qpolynomial
(pwqp)¶Parameters: | pwqp – PwQPolynomial |
---|---|
Returns: | UnionPwQPolynomial |
get_ctx
(self)¶Parameters: | self – UnionPwQPolynomial |
---|---|
Returns: | Context |
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_space
(self)¶Parameters: | self – UnionPwQPolynomial |
---|---|
Returns: | Space |
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: |
|
---|---|
Returns: |
gist_params
(self, context)¶Parameters: |
|
---|---|
Returns: |
intersect_domain
(self, uset)¶Parameters: |
|
---|---|
Returns: |
intersect_params
(self, set)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
mul
(self, upwqp2)¶Parameters: |
|
---|---|
Returns: |
plain_is_equal
(self, upwqp2)¶Parameters: |
|
---|---|
Returns: | int |
scale_val
(self, v)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – UnionPwQPolynomial |
---|---|
Returns: | Space |
sub
(self, upwqp2)¶Parameters: |
|
---|---|
Returns: |
to_polynomial
(self, sign)¶Parameters: |
|
---|---|
Returns: |
zero
(dim)¶Parameters: | dim – Space |
---|---|
Returns: | UnionPwQPolynomial |
islpy.
QPolynomialFold
¶alloc
(type, qp)¶Parameters: |
|
---|---|
Returns: |
copy
(self)¶Parameters: | self – QPolynomialFold |
---|---|
Returns: | QPolynomialFold |
empty
(type, dim)¶Parameters: | |
---|---|
Returns: |
eval
(self, pnt)¶Parameters: |
|
---|---|
Returns: |
fold
(self, fold2)¶Parameters: |
|
---|---|
Returns: |
foreach_qpolynomial
(self)¶Parameters: |
|
---|---|
Returns: | int |
get_ctx
(self)¶Parameters: | self – QPolynomialFold |
---|---|
Returns: | Context |
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_space
(self)¶Parameters: | self – QPolynomialFold |
---|---|
Returns: | Space |
get_type
(self)¶Parameters: | self – QPolynomialFold |
---|---|
Returns: | isl_fold |
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: |
|
---|---|
Returns: |
gist_params
(self, context)¶Parameters: |
|
---|---|
Returns: |
is_empty
(self)¶Parameters: | self – QPolynomialFold |
---|---|
Returns: | bool |
is_valid
()¶Return whether current object is still valid.
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: |
|
---|---|
Returns: |
plain_is_equal
(self, fold2)¶Parameters: |
|
---|---|
Returns: | int |
print_
(self, out, output_format)¶Parameters: |
|
---|---|
Returns: | None |
scale_val
(self, v)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – QPolynomialFold |
---|---|
Returns: | Space |
islpy.
PwQPolynomialFold
¶
|
add
(self, pwf2)¶Parameters: |
|
---|---|
Returns: |
add_disjoint
(self, pwf2)¶Parameters: |
|
---|---|
Returns: |
alloc
(type, set, fold)¶Parameters: |
|
---|---|
Returns: |
bound
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | tuple: (PwQPolynomialFold , tight (integer)) |
coalesce
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | PwQPolynomialFold |
copy
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | PwQPolynomialFold |
dim
(self, type)¶Parameters: |
|
---|---|
Returns: | unsigned |
domain
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | Set |
drop_dims
(self, type, first, n)¶Parameters: |
|
---|---|
Returns: |
eval
(self, pnt)¶Parameters: |
|
---|---|
Returns: |
fold
(self, pwf2)¶Parameters: |
|
---|---|
Returns: |
foreach_lifted_piece
(self)¶Parameters: |
|
---|---|
Returns: | int |
foreach_piece
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_pw_qpolynomial
(type, pwqp)¶Parameters: |
|
---|---|
Returns: |
get_ctx
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | Context |
get_domain_space
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | Space |
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_space
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | Space |
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: |
|
---|---|
Returns: |
gist_params
(self, context)¶Parameters: |
|
---|---|
Returns: |
has_equal_space
(self, pwf2)¶Parameters: |
|
---|---|
Returns: | bool |
intersect_domain
(self, set)¶Parameters: |
|
---|---|
Returns: |
intersect_params
(self, set)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
is_zero
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | bool |
max
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | Val |
min
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | Val |
move_dims
(self, dst_type, dst_pos, src_type, src_pos, n)¶Parameters: |
|
---|---|
Returns: |
plain_is_equal
(self, pwf2)¶Parameters: |
|
---|---|
Returns: | int |
print_
(self, out, output_format)¶Parameters: |
|
---|---|
Returns: | None |
project_domain_on_params
(self)¶Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | PwQPolynomialFold |
reset_space
(self, dim)¶Parameters: |
|
---|---|
Returns: |
scale_val
(self, v)¶Parameters: |
|
---|---|
Returns: |
set_dim_name
(self, type, pos, s)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – PwQPolynomialFold |
---|---|
Returns: | Space |
zero
(dim, type)¶Parameters: | |
---|---|
Returns: |
islpy.
UnionPwQPolynomialFold
¶
|
add_union_pw_qpolynomial
(self, upwqp)¶Parameters: |
|
---|---|
Returns: |
align_params
(self, model)¶Parameters: |
|
---|---|
Returns: |
coalesce
(self)¶Parameters: | self – UnionPwQPolynomialFold |
---|---|
Returns: | UnionPwQPolynomialFold |
copy
(self)¶Parameters: | self – UnionPwQPolynomialFold |
---|---|
Returns: | UnionPwQPolynomialFold |
domain
(self)¶Parameters: | self – UnionPwQPolynomialFold |
---|---|
Returns: | UnionSet |
eval
(self, pnt)¶Parameters: |
|
---|---|
Returns: |
extract_pw_qpolynomial_fold
(self, dim)¶Parameters: |
|
---|---|
Returns: |
fold
(self, upwf2)¶Parameters: |
|
---|---|
Returns: |
fold_pw_qpolynomial_fold
(self, pwqp)¶Parameters: |
|
---|---|
Returns: |
foreach_pw_qpolynomial_fold
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_pw_qpolynomial_fold
(pwf)¶Parameters: | pwf – PwQPolynomialFold |
---|---|
Returns: | UnionPwQPolynomialFold |
get_ctx
(self)¶Parameters: | self – UnionPwQPolynomialFold |
---|---|
Returns: | Context |
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_space
(self)¶Parameters: | self – UnionPwQPolynomialFold |
---|---|
Returns: | Space |
get_type
(self)¶Parameters: | self – UnionPwQPolynomialFold |
---|---|
Returns: | isl_fold |
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: |
|
---|---|
Returns: |
gist_params
(self, context)¶Parameters: |
|
---|---|
Returns: |
intersect_domain
(self, uset)¶Parameters: |
|
---|---|
Returns: |
intersect_params
(self, set)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
plain_is_equal
(self, upwf2)¶Parameters: |
|
---|---|
Returns: | int |
scale_val
(self, v)¶Parameters: |
|
---|---|
Returns: |
space
¶get_space(self)
Parameters: | self – UnionPwQPolynomialFold |
---|---|
Returns: | Space |
zero
(dim, type)¶Parameters: | |
---|---|
Returns: |
islpy.
Band
¶
|
is_valid
()¶Return whether current object is still valid.
islpy.
Schedule
¶
|
constraints_compute_schedule
(self)¶Parameters: | self – ScheduleConstraints |
---|---|
Returns: | Schedule |
constraints_copy
(self)¶Parameters: | self – ScheduleConstraints |
---|---|
Returns: | ScheduleConstraints |
constraints_dump
(self)¶Parameters: | self – ScheduleConstraints |
---|---|
Returns: | None |
constraints_get_ctx
(self)¶Parameters: | self – ScheduleConstraints |
---|---|
Returns: | Context |
constraints_on_domain
(domain)¶Parameters: | domain – UnionSet |
---|---|
Returns: | ScheduleConstraints |
constraints_set_coincidence
(self, coincidence)¶Parameters: |
|
---|---|
Returns: |
constraints_set_conditional_validity
(self, condition, validity)¶Parameters: |
|
---|---|
Returns: |
constraints_set_proximity
(self, proximity)¶Parameters: |
|
---|---|
Returns: |
constraints_set_validity
(self, validity)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
islpy.
AccessInfo
¶
|
compute_flow
(self)¶Parameters: | self – AccessInfo (becomes invalid) |
---|---|
Returns: | Flow |
get_ctx
(self)¶Parameters: | self – AccessInfo |
---|---|
Returns: | Context |
is_valid
()¶Return whether current object is still valid.
islpy.
Restriction
¶
|
empty
(source_map)¶Parameters: | source_map – Map |
---|---|
Returns: | Restriction |
get_ctx
(self)¶Parameters: | self – Restriction |
---|---|
Returns: | Context |
input
(source_restr, sink_restr)¶Parameters: | |
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
none
(source_map)¶Parameters: | source_map – Map |
---|---|
Returns: | Restriction |
output
(source_restr)¶Parameters: | source_restr – Set |
---|---|
Returns: | Restriction |
New in version 2014.1.
islpy.
AstExpr
¶access
(self, indices)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
substitute_ids
(self, id2expr)¶Parameters: |
|
---|---|
Returns: |
islpy.
AstNode
¶
|
block_get_children
(self)¶Parameters: | self – AstNode |
---|---|
Returns: | AstNodeList |
for_print
(self, p, options)¶Parameters: |
|
---|---|
Returns: |
if_print
(self, p, options)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
print_
(self, p, options)¶Parameters: |
|
---|---|
Returns: |
print_macros
(self, p)¶Parameters: |
|
---|---|
Returns: |
islpy.
AstBuild
¶access_from_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
call_from_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
islpy.
AstPrintOptions
¶
|
alloc
(ctx)¶Parameters: | ctx – Context |
---|---|
Returns: | AstPrintOptions |
copy
(self)¶Parameters: | self – AstPrintOptions |
---|---|
Returns: | AstPrintOptions |
get_ctx
(self)¶Parameters: | self – AstPrintOptions |
---|---|
Returns: | Context |
is_valid
()¶Return whether current object is still valid.
islpy.
BasicSetList
¶
|
is_valid
()¶Return whether current object is still valid.
product
(self)¶Parameters: | self – BasicSetList |
---|---|
Returns: | BasicSet |
islpy.
AffList
¶
|
is_valid
()¶Return whether current object is still valid.
islpy.
BandList
¶
|
is_valid
()¶Return whether current object is still valid.
islpy.
AstExprList
¶add
(self, el)¶Parameters: |
|
---|---|
Returns: |
alloc
(ctx, n)¶Parameters: | |
---|---|
Returns: |
concat
(self, list2)¶Parameters: |
|
---|---|
Returns: |
copy
(self)¶Parameters: | self – AstExprList |
---|---|
Returns: | AstExprList |
drop
(self, first, n)¶Parameters: |
|
---|---|
Returns: |
foreach
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_ast_expr
(el)¶Parameters: | el – AstExpr |
---|---|
Returns: | AstExprList |
get_ast_expr
(self, index)¶Parameters: |
|
---|---|
Returns: |
get_ctx
(self)¶Parameters: | self – AstExprList |
---|---|
Returns: | Context |
insert
(self, pos, el)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
n_ast_expr
(self)¶Parameters: | self – AstExprList |
---|---|
Returns: | int |
set_ast_expr
(self, index, el)¶Parameters: |
|
---|---|
Returns: |
islpy.
AstNodeList
¶add
(self, el)¶Parameters: |
|
---|---|
Returns: |
alloc
(ctx, n)¶Parameters: | |
---|---|
Returns: |
concat
(self, list2)¶Parameters: |
|
---|---|
Returns: |
copy
(self)¶Parameters: | self – AstNodeList |
---|---|
Returns: | AstNodeList |
drop
(self, first, n)¶Parameters: |
|
---|---|
Returns: |
foreach
(self)¶Parameters: |
|
---|---|
Returns: | int |
from_ast_node
(el)¶Parameters: | el – AstNode |
---|---|
Returns: | AstNodeList |
get_ast_node
(self, index)¶Parameters: |
|
---|---|
Returns: |
get_ctx
(self)¶Parameters: | self – AstNodeList |
---|---|
Returns: | Context |
insert
(self, pos, el)¶Parameters: |
|
---|---|
Returns: |
is_valid
()¶Return whether current object is still valid.
n_ast_node
(self)¶Parameters: | self – AstNodeList |
---|---|
Returns: | int |
set_ast_node
(self, index, el)¶Parameters: |
|
---|---|
Returns: |
islpy.
Printer
¶is_valid
()¶Return whether current object is still valid.
print_ast_expr_list
(self, list)¶Parameters: |
|
---|---|
Returns: |
|
print_ast_node_list
(self, list)¶Parameters: |
|
---|---|
Returns: |
|
print_constraint
(self, c)¶Parameters: |
|
---|---|
Returns: |
|
print_constraint_list
(self, list)¶Parameters: |
|
---|---|
Returns: |
|
print_double
(self, d)¶Parameters: |
|
---|---|
Returns: |
|
print_local_space
(self, ls)¶Parameters: |
|
---|---|
Returns: |
|
print_multi_pw_aff
(self, mpa)¶Parameters: |
|
---|---|
Returns: |
|
print_pw_aff_list
(self, list)¶Parameters: |
|
---|---|
Returns: |
|
print_pw_multi_aff
(self, pma)¶Parameters: |
|
---|---|
Returns: |
|
print_pw_qpolynomial
(self, pwqp)¶Parameters: |
|
---|---|
Returns: |
|
print_pw_qpolynomial_fold
(self, pwf)¶Parameters: |
|
---|---|
Returns: |
|
print_qpolynomial
(self, qp)¶Parameters: |
|
---|---|
Returns: |
|
print_qpolynomial_fold
(self, fold)¶Parameters: |
|
---|---|
Returns: |
|
print_union_pw_multi_aff
(self, upma)¶Parameters: |
|
---|---|
Returns: |
|
print_union_pw_qpolynomial
(self, upwqp)¶Parameters: |
|
---|---|
Returns: |
|
print_union_pw_qpolynomial_fold
(self, upwf)¶Parameters: |
|
---|---|
Returns: |
|
print_val_list
(self, list)¶Parameters: |
|
---|---|
Returns: |
|
set_indent_prefix
(self, prefix)¶Parameters: |
|
---|---|
Returns: |
|
set_prefix
(self, prefix)¶Parameters: |
|
---|---|
Returns: |
|
set_suffix
(self, suffix)¶Parameters: |
|
---|---|
Returns: |
|
islpy.
align_spaces
(obj, tgt, obj_bigger_ok=False, across_dim_types=False)¶Try to make the space in which obj lives the same as that of tgt by adding/matching named dimensions.
Parameters: | obj_bigger_ok – If True, no error is raised if the resulting obj has more dimensions than tgt. |
---|
islpy.
align_two
(obj1, obj2, across_dim_types=False)¶Align the spaces of two objects, potentially modifying both of them.
See also align_spaces()
.