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) __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) _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) Aff (class in namedisl) affs_from_domain_space() (in module 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.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_set() (namedisl.BasicSet method) (namedisl.Map method) as_set_space() (namedisl.Space method)

B

BasicMap (class in namedisl)

BasicSet (class in namedisl)

C

Cache (class in namedisl) coalesce() (namedisl.Map method) (namedisl.PwAff method) (namedisl.Set method)

complement() (namedisl.Map method) (namedisl.Set method) Constraint (class in namedisl) convex_hull() (namedisl.Map method) (namedisl.Set method)

D

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) div() (namedisl.PwAff method) 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_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)

F

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

floor() (namedisl.PwAff method) from_isl() (namedisl.Space static method) from_names() (namedisl.Space static method) from_piece_and_aff() (namedisl.PwAff static method)

G

ge_set() (namedisl.PwAff method) get_aggregate_domain() (namedisl.PwAff method) get_basic_maps() (namedisl.Map method) get_basic_sets() (namedisl.Set method) get_constant() (namedisl.Aff method) get_constraints() (namedisl.BasicMap method) (namedisl.BasicSet method) get_denominator() (namedisl.Aff method) get_div() (namedisl.Aff method) get_div_coefficient() (namedisl.Aff method)

get_pieces() (namedisl.PwAff method) (namedisl.PwQPolynomial 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) 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_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_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)

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) 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)

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

semantically_equals() (namedisl.Space method) Set (class in namedisl) set_coefficient() (namedisl.Aff method) set_names (namedisl.Space attribute) Space (class in namedisl) space (namedisl.Aff attribute) (namedisl.MultiAff attribute) (namedisl.PwAff attribute) (namedisl.PwMultiAff attribute) (namedisl.PwQPolynomial attribute) (namedisl.QPolynomial attribute)

swap_dim_types() (namedisl.Space method)

U

union_add() (namedisl.PwAff method) union_max() (namedisl.PwAff method) union_min() (namedisl.PwAff method)

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

V

var_affs (namedisl.BasicSet attribute)

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

W

where() (namedisl.PwAff method)

with_empty_dim_type() (namedisl.Space method)

Z

zero_on_domain() (namedisl.Aff static method)