Reference: Supporting functionality

namedisl.core.align_obj(named_obj: NamedIslObjectT, space: Space, *, allow_cross_dim_type: bool = False, obj_larger_than_space_ok: bool = False) → NamedIslObjectT

namedisl.core.align_two(named_obj1: NamedIslObjectT, named_obj2: NamedIslObjectT2) → tuple[NamedIslObjectT, NamedIslObjectT2]

Returns a version of both passed objects so that both live in a shared Space. For namedisl, this is semantically irrelevant, but it can prevent repeated internal alignment operations.

class namedisl.Error

final class namedisl.DimType(*values)

param = 1

in_ = 2

out = 3

as_isl() → dim_type

class namedisl.Space(dimtype_to_names: Mapping[DimType, Sequence[str]])

dimtype_to_names: Mapping[DimType, Sequence[str]]

static from_names(*, param: Collection[str] | None = None, in_: Collection[str] | None = None, out: Collection[str] | None = None) → Space

static from_isl(obj: BasicSet | Set | BasicMap | Map | Aff | PwAff | QPolynomial | PwQPolynomial | MultiAff | PwMultiAff | Constraint, dim_types: Collection[DimType]) → Space

__eq__(other: object) → bool

Return self==value.

__hash__() → int

Return hash(self).

order_equals(other: Space) → bool

semantically_equals(other: Space) → bool

__contains__(name: str) → bool

name_to_dim

dimtype_to_name_sets

names

dim_names(dim_type: DimType) → frozenset[str]

param_names

in_names

set_names

out_names

dim(dim_type: DimType) → int

names_except(dim_type: Collection[DimType]) → set[str]

move_dim_type(source: DimType, target: DimType) → Space

swap_dim_types(dt1: DimType, dt2: DimType) → Space

drop_dim_type(dt: DimType) → Space

with_empty_dim_type(dt: DimType) → Space

as_expr_space() → Space

as_set_space() → Space

as_isl(ctx: Context | None = None) → Space

as_isl_set_space(ctx: Context | None = None) → Space

class namedisl.Cache

class namedisl.align_two(named_obj1: NamedIslObjectT, named_obj2: NamedIslObjectT2)

Returns a version of both passed objects so that both live in a shared Space. For namedisl, this is semantically irrelevant, but it can prevent repeated internal alignment operations.