Index

_

__add__() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) __and__() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) __bool__() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) __contains__() (namedisl.Space method) __eq__() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method) (namedisl.Space method) __getitem__() (namedisl.MultiAff method) (namedisl.PwMultiAff method) __hash__() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method) (namedisl.Space method) __le__() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) __lt__() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) __mod__() (namedisl.Aff method) (namedisl.PwAff method) __mul__() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) __neg__() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method)

__or__() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) __pow__() (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) __radd__() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) __repr__() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.Point method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method) __rmul__() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) __rsub__() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) __str__() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.Point method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method) __sub__() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method) __truediv__() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method)

A

active_dim_types (namedisl.Aff attribute) (namedisl.BasicMap attribute) (namedisl.BasicSet attribute) (namedisl.Constraint attribute) (namedisl.Map attribute) (namedisl.MultiAff attribute) (namedisl.PwAff attribute) (namedisl.PwMultiAff attribute) (namedisl.PwQPolynomial attribute) (namedisl.QPolynomial attribute) (namedisl.Set attribute) add_constraint() (namedisl.BasicSet method) add_dims() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method) add_disjoint() (namedisl.PwQPolynomial method) Aff (class in namedisl) affs_from_domain_space() (in module namedisl) aggregate_domain() (namedisl.PwAff method) align_obj() (in module namedisl.core) align_two (class in namedisl) align_two() (in module namedisl.core) apply_domain() (namedisl.Map method)

apply_range() (namedisl.Map method) as_aff() (namedisl.Constraint method) as_basic() (namedisl.Map method) (namedisl.Set method) as_basic_map() (namedisl.Constraint method) as_basic_set() (namedisl.Constraint method) as_expr_space() (namedisl.Space method) as_isl() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.DimType method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method) (namedisl.Space method) as_isl_set_space() (namedisl.Space method) as_map() (namedisl.BasicMap method) (namedisl.Set method) as_multi_aff() (namedisl.PwMultiAff method) as_pw_aff() (namedisl.Aff method) as_pw_multi_aff() (namedisl.Map method) (namedisl.Set method) as_pw_qpoly() (namedisl.PwAff method) as_set() (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Point method) as_set_space() (namedisl.Space method)

B

basic_maps() (namedisl.Map method) basic_sets() (namedisl.Set method)

BasicMap (class in namedisl) BasicSet (class in namedisl)

C

Cache (class in namedisl) card() (namedisl.Set method) ceil() (namedisl.Aff method) (namedisl.PwAff method) coalesce() (namedisl.Map method) (namedisl.PwAff method) (namedisl.PwQPolynomial method) (namedisl.Set method) coefficient (namedisl.Term attribute) complement() (namedisl.Map method) (namedisl.Set method)

compute_divs() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) constant (namedisl.Aff attribute) (namedisl.Constraint attribute) Constraint (class in namedisl) constraints() (namedisl.BasicMap method) (namedisl.BasicSet method) convex_hull() (namedisl.Map method) (namedisl.Set method)

D

denominator() (namedisl.Aff method) dim() (namedisl.Space method) dim_max() (namedisl.Set method) dim_min() (namedisl.Set method) dim_names() (namedisl.Space method) DimType (class in namedisl)

dimtype_to_name_sets (namedisl.Space attribute) dimtype_to_names (namedisl.Space attribute) domain() (namedisl.BasicMap method) (namedisl.Map method) domain_var_pw_affs (namedisl.Map attribute) drop_dim_type() (namedisl.Space method)

E

eliminate() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) empty() (namedisl.BasicMap class method) (namedisl.BasicSet class method) (namedisl.Map class method) (namedisl.Set class method) empty_like_me() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) eq_set() (namedisl.PwAff method) equality_from_aff() (namedisl.Constraint static method) equals() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method)

equate_dims() (namedisl.Map method) (namedisl.Set method) Error (class in namedisl) eval() (namedisl.Aff method) (namedisl.PwAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) eval_with_dict() (namedisl.Aff method) (namedisl.PwAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method)

F

fix_dim() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) floor() (namedisl.Aff method) (namedisl.PwAff method)

from_dict() (namedisl.Point class method) from_isl() (namedisl.Space static method) from_names() (namedisl.Space static method) from_piece_and_aff() (namedisl.PwAff static method) from_piece_and_qpolynomial() (namedisl.PwQPolynomial static method)

G

ge_set() (namedisl.PwAff method) get_coordinate() (namedisl.Point method) get_div() (namedisl.Aff method) (namedisl.Constraint method) (namedisl.Term method) get_div_coefficient() (namedisl.Aff method) (namedisl.Constraint method) get_div_exp() (namedisl.Term method) get_exp() (namedisl.Term method)

gist() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.PwAff method) (namedisl.Set method) gist_params() (namedisl.Aff method) (namedisl.PwAff method) gt_set() (namedisl.PwAff method)

I

in_ (namedisl.DimType attribute) in_names (namedisl.Space attribute) inequality_from_aff() (namedisl.Constraint static method) intersect_domain() (namedisl.BasicMap method) (namedisl.Map method) intersect_range() (namedisl.BasicMap method) (namedisl.Map method) involves_dims() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method)

is_bijective() (namedisl.Map method) is_bounded() (namedisl.BasicSet method) (namedisl.Set method) is_constant() (namedisl.Aff method) (namedisl.PwAff method) is_empty() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) is_equality (namedisl.Constraint attribute) is_void (namedisl.Point attribute) is_zero() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method)

L

le_set() (namedisl.PwAff method)

lt_set() (namedisl.PwAff method)

M

make_aff() (in module namedisl) make_basic_map() (in module namedisl) make_basic_set() (in module namedisl) make_constraint() (in module namedisl) make_disjoint() (namedisl.Map method) (namedisl.Set method) make_map() (in module namedisl) make_multi_aff() (in module namedisl) make_pw_aff() (in module namedisl) make_pw_multi_aff() (in module namedisl) make_pw_qpolynomial() (in module namedisl) make_qpolynomial() (in module namedisl) make_set() (in module namedisl) Map (class in namedisl) max() (namedisl.PwAff method) min() (namedisl.PwAff method) module namedisl namedisl.core namedisl.expression_like namedisl.set_like

move_dim_type() (namedisl.Space method) move_dims() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method) MultiAff (class in namedisl)

N

name_to_dim (namedisl.Space attribute) namedisl module namedisl.core module namedisl.expression_like module

namedisl.set_like module names (namedisl.Space attribute) names_except() (namedisl.Space method) ne_set() (namedisl.PwAff method) num_divs (namedisl.Aff attribute) (namedisl.Constraint attribute) (namedisl.Term attribute)

O

offset (namedisl.StrideInfo attribute) order_equals() (namedisl.Space method)

out (namedisl.DimType attribute) out_names (namedisl.Space attribute)

P

param (namedisl.DimType attribute) param_names (namedisl.Space attribute) params() (namedisl.BasicSet method) (namedisl.Set method) pieces (namedisl.PwAff attribute) pieces() (namedisl.PwQPolynomial method) plain_is_empty() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) plain_is_universe() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) plain_is_zero() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method)

Point (class in namedisl) project_out() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) project_out_except() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) pw_affs_from_domain_space() (in module namedisl) PwAff (class in namedisl) PwMultiAff (class in namedisl) PwQPolynomial (class in namedisl)

Q

QPolynomial (class in namedisl)

R

range() (namedisl.BasicMap method) (namedisl.Map method) range_var_pw_affs (namedisl.Map attribute) remove_divs() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) remove_redundancies() (namedisl.Map method) (namedisl.Set method) rename_dims() (namedisl.Aff method) (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Constraint method) (namedisl.Map method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial method) (namedisl.Set method)

reverse() (namedisl.BasicMap method) (namedisl.Map method)

S

sample_point() (namedisl.BasicSet method) (namedisl.Set method) semantically_equals() (namedisl.Space method) Set (class in namedisl) set_names (namedisl.Space attribute) simple_hull() (namedisl.Map method) (namedisl.Set method) Space (class in namedisl) space (namedisl.Aff attribute) (namedisl.BasicMap attribute) (namedisl.BasicSet attribute) (namedisl.Constraint attribute) (namedisl.Map attribute) (namedisl.MultiAff attribute) (namedisl.Point attribute) (namedisl.PwAff attribute) (namedisl.PwMultiAff attribute) (namedisl.PwQPolynomial attribute) (namedisl.QPolynomial attribute) (namedisl.Set attribute) (namedisl.Term attribute)

stride (namedisl.StrideInfo attribute) stride_info() (namedisl.Set method) StrideInfo (class in namedisl) swap_dim_types() (namedisl.Space method)

T

Term (class in namedisl)

terms() (namedisl.QPolynomial method)

U

union_add() (namedisl.PwAff method) union_max() (namedisl.PwAff method) union_min() (namedisl.PwAff method) universe() (namedisl.BasicMap class method) (namedisl.BasicSet class method) (namedisl.Map class method) (namedisl.Set class method)

universe_like_me() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method)

V

var_affs (namedisl.Aff attribute) (namedisl.BasicSet attribute) (namedisl.Set attribute)

var_pw_affs (namedisl.PwAff attribute) (namedisl.Set attribute)

W

where() (namedisl.PwAff method) with_coefficient() (namedisl.Aff method)

with_coordinate() (namedisl.Point method) with_empty_dim_type() (namedisl.Space method)

Z

zero() (namedisl.Point static method) zero_like_me() (namedisl.PwAff method)

zero_on_domain() (namedisl.Aff static method) (namedisl.Point static method) (namedisl.PwQPolynomial class method)