Trait lnkit::prelude::base::constraint::SameDimension[−][src]

pub trait SameDimension<D1, D2>: SameNumberOfRows<D1, D2> + SameNumberOfColumns<D1, D2> where
    D1: Dim,
    D2: Dim, {
    type Representative: Dim;
}

Constraints D1 and D2 to be equivalent, where they both designate dimensions of algebraic entities (e.g. square matrices).

Associated Types

type Representative: Dim[src]

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

Loading content...

Implementors

impl<D> SameDimension<Dynamic, D> for ShapeConstraint where
    D: DimName, [src]

type Representative = D

impl<D> SameDimension<D, Dynamic> for ShapeConstraint where
    D: DimName, [src]

type Representative = D

impl<D> SameDimension<D, D> for ShapeConstraint where
    D: Dim, [src]

type Representative = D

Loading content...