Struct FMapping 

#[repr(C)]
pub struct FMapping(pub RVec<Factor>);

Factor mapping expression.

Factors are ordered from innermost (index 0) to outermost (last index). push/pop/last operate on the outermost factor.

Tuple Fields

0: RVec<Factor>

Implementations

impl FMapping

pub fn new() -> FMapping

Creates a new empty factor mapping.

pub fn size(&self) -> usize

Returns the size of the factor mapping.

Trait Implementations

impl Clone for FMapping

fn clone(&self) -> FMapping

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FMapping

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for FMapping

fn default() -> FMapping

Returns the “default value” for a type.

impl Display for FMapping

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl FMappingExt for FMapping

fn new() -> FMapping

Creates a new empty factor mapping.

fn from_axes(axes: RSlice<'_, Term>) -> FMapping

Creates a factor mapping from a slice of terms (axes).

fn pop(&mut self) -> ROption<Factor>

Pops the outermost factor of the mapping expression.

fn into_inner(self) -> RVec<Factor>

Converts the factor mapping into a vector of factors.

fn is_padding(&self) -> bool

Checks if the factor mapping is only padding.

fn has_terms(&self) -> bool

Returns true if any factor is a Term (not Padding).

fn terms_with_stride(&self) -> RVec<TermPosition>

Extracts each Term with its effective stride in this FMapping.

fn factors(&self) -> RSlice<'_, Factor>

Returns a reference to the factors (innermost first).

fn contains_ident(&self, ident: Ident) -> bool

Returns true if any term in this FMapping contains the given ident.

fn idents(&self) -> RVec<Ident>

Returns the unique idents referenced in this FMapping.

fn find_symbol_size(&self, ident: Ident) -> ROption<usize>

Returns the original declared size of the given ident’s Symbol.

fn eval(&self, position: usize) -> Index

Evaluates this FMapping at the given position.

fn is_ident_isolated(&self, ident: Ident) -> bool

Returns true if the given ident is isolated.

fn into_factor(self) -> Factor

Converts the factor mapping into a single factor.

fn mul(self, inner: FMapping) -> FMapping

Multiplies two factor mappings (composes outer × inner).

fn stride(self, stride: usize) -> FMapping

Applies stride to the factor mapping.

fn modulo(self, modulo: usize) -> FMapping

Applies modulo to the factor mapping.

fn is_resize_of(&self, original: &FMapping) -> bool

Returns true if self is a resize of original.

fn to_mapping(&self) -> Mapping

Converts the factor mapping into a mapping expression.

fn divide_span( self, divisor: FMapping, span: usize, ) -> RResult<Division<Span>, DivisionError>

Divides the factor mapping by a single-term divisor with a span.

fn divide_relaxed(self, divisor: FMapping) -> Division<Relaxed>

Divides the factor mapping with read-accessible (Top) matched-hole padding.

fn divide_strict(self, divisor: FMapping) -> Division<Strict>

Divides the factor mapping with analysis-capable (Bottom) matched-hole padding.

fn normalize(self) -> FMapping

Normalizes the factor mapping via round-trip through Mapping.

fn remove_padding(self) -> FMapping

Removes all right padding.

fn split_at(&self, target: usize) -> Tuple2<FMapping, FMapping>

Splits the mapping at target from the innermost side.

fn pad(self, target: usize) -> FMapping

Removes existing padding and pads to target size.

fn padding(self, padding: usize, kind: PaddingKind) -> FMapping

Applies padding to the factor mapping.

impl GetStaticEquivalent_ for FMapping

type StaticEquivalent = _static_FMapping

The 'static equivalent of Self

impl Hash for FMapping

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for FMapping

fn cmp(&self, other: &FMapping) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for FMapping

fn eq(&self, other: &FMapping) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for FMapping

fn partial_cmp(&self, other: &FMapping) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StableAbi for FMapping

const LAYOUT: &'static TypeLayout

The layout of the type provided by implementors.

type IsNonZeroType = False

Whether this type has a single invalid bit-pattern.

const ABI_CONSTS: AbiConsts = _

const-equivalents of the associated types.

impl Eq for FMapping

impl StructuralPartialEq for FMapping