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.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.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial 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.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial 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.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial 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.PwAff method) _obj (namedisl.Aff attribute) (namedisl.MultiAff attribute) (namedisl.PwAff attribute) (namedisl.PwMultiAff attribute) (namedisl.PwQPolynomial attribute) (namedisl.QPolynomial attribute)

A

active_dim_types (namedisl.Aff attribute) (namedisl.BasicMap attribute) (namedisl.Map attribute) (namedisl.MultiAff attribute) (namedisl.PwAff attribute) (namedisl.PwMultiAff attribute) (namedisl.PwQPolynomial attribute) (namedisl.QPolynomial attribute) add_constraint() (namedisl.BasicSet method) add_dims() (namedisl.Aff method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial 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.DimType method) (namedisl.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial 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) 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)

F

fix_dim() (namedisl.BasicMap method) (namedisl.BasicSet method) (namedisl.Map method) (namedisl.Set method) floor() (namedisl.Aff method) (namedisl.PwAff 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.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial 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.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial 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

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.MultiAff method) (namedisl.PwAff method) (namedisl.PwMultiAff method) (namedisl.PwQPolynomial method) (namedisl.QPolynomial 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_coefficient() (namedisl.Aff method) set_names (namedisl.Space attribute) simple_hull() (namedisl.Map method) (namedisl.Set method) Space (class in namedisl)

space (namedisl.Aff attribute) (namedisl.MultiAff attribute) (namedisl.Point attribute) (namedisl.PwAff attribute) (namedisl.PwMultiAff attribute) (namedisl.PwQPolynomial attribute) (namedisl.QPolynomial attribute) (namedisl.Term attribute) 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_empty_dim_type() (namedisl.Space method)

Z

zero_like_me() (namedisl.PwAff method)

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