Enum OuterReject 

pub enum OuterReject {
    NoLoopNest,
    NotDoubleNested,
    NoStore,
    NoProduct,
    NotInt,
    Accumulates,
    Stores,
    NonAffineIndex,
    NotCounted,
    NotOuterLayout,
    ExtraWork,
}

Why a program is not a recognizable outer product, least to most advanced.

Variants

NoLoopNest

No While counter is less than BOUND loop.

NotDoubleNested

A counted loop with no counted loop directly inside it.

NoStore

No Set item _ of C to … in the inner loop.

NoProduct

The stored value is not item _ of A * item _ of B.

NotInt

A product, but A, B and C are not all declared Seq of Int arrays — the integer product the app computes.

Accumulates

C[idx] := C[idx] + A·B — a rank-1 update, not an outer product.

Stores

C[idx] := A·B where a rank-1 update (C[idx] := C[idx] + A·B) is read.

NonAffineIndex

An index is not affine in the counters.

NotCounted

A counter not set to a constant right before its loop, or not stepped by exactly one.

NotOuterLayout

Not C[i·n + j], A[i], B[j] with unit strides against the loop bounds.

ExtraWork

A loop body does more than the outer product.

Trait Implementations

impl Clone for OuterReject

fn clone(&self) -> OuterReject

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OuterReject

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

Formats the value using the given formatter.

impl Ord for OuterReject

fn cmp(&self, other: &OuterReject) -> 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 OuterReject

fn eq(&self, other: &OuterReject) -> 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 OuterReject

fn partial_cmp(&self, other: &OuterReject) -> 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 Copy for OuterReject

impl Eq for OuterReject

impl StructuralPartialEq for OuterReject