Struct DotGeneralConfig 

pub struct DotGeneralConfig {
    pub lhs_contracting_dims: Vec<usize>,
    pub rhs_contracting_dims: Vec<usize>,
    pub lhs_batch_dims: Vec<usize>,
    pub rhs_batch_dims: Vec<usize>,
}

DotGeneral dimension configuration.

Records only the dim-numbering roles (contracting / batch; free is derived). Rank info travels with the enclosing StdTensorOp::DotGeneral variant at the trace/StdTensorOp layer, and with ExecInstruction::output_shapes at the exec layer. This separation makes it structurally impossible for stored ranks to drift from actual tensor ranks (issue #664).

The output shape is [lhs_free..., rhs_free..., batch...] (col-major batch-trailing convention). Batch dims have the largest stride so that each batch slice occupies a contiguous block of memory.

Examples

use tenferro_tensor::DotGeneralConfig;

let config = DotGeneralConfig {
    lhs_contracting_dims: vec![1],
    rhs_contracting_dims: vec![0],
    lhs_batch_dims: vec![],
    rhs_batch_dims: vec![],
};

Fields

lhs_contracting_dims: Vec<usize>

rhs_contracting_dims: Vec<usize>

lhs_batch_dims: Vec<usize>

rhs_batch_dims: Vec<usize>

Implementations

impl DotGeneralConfig

pub fn validate_dims_with_ranks( &self, lhs_rank: usize, rhs_rank: usize, ) -> Result<(), String>

Validate that all dimension indices are within range for the given explicit ranks and that no axis appears in multiple roles.

Call sites supply the actual operand ranks (from the tensor shapes they have in hand). The config itself carries only the dim-numbering roles.

Examples

use tenferro_tensor::DotGeneralConfig;

let config = DotGeneralConfig {
    lhs_contracting_dims: vec![1],
    rhs_contracting_dims: vec![0],
    lhs_batch_dims: vec![],
    rhs_batch_dims: vec![],
};
config.validate_dims_with_ranks(2, 2).unwrap();

Trait Implementations

impl Clone for DotGeneralConfig

fn clone(&self) -> DotGeneralConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DotGeneralConfig

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

Formats the value using the given formatter.

impl Hash for DotGeneralConfig

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 PartialEq for DotGeneralConfig

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

impl StructuralPartialEq for DotGeneralConfig