Reference: Supporting functionality

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

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: Sequence[str] | None = None, in_: Sequence[str] | None = None, set: Sequence[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