Enum tract_hir::internal::AxisOp

source ·
pub enum AxisOp {
    Add(usize),
    Rm(usize),
    Move(usize, usize),
    Reshape(usize, SmallVec<[TDim; 4]>, SmallVec<[TDim; 4]>),
}

Variants§

§

Add(usize)

§

Rm(usize)

§

Move(usize, usize)

§

Reshape(usize, SmallVec<[TDim; 4]>, SmallVec<[TDim; 4]>)

Implementations§

source§

impl AxisOp

source

pub fn canonical(&self) -> Cow<'_, AxisOp>

source

pub fn simplify(&self) -> SmallVec<[AxisOp; 4]>

source

pub fn transform_axis(&self, axis: usize) -> Option<usize>

source

pub fn merge_incoming_change( &self, change: &AxisOp ) -> Option<(Option<AxisOp>, Option<AxisOp>)>

source

pub fn change_shape_array<D>( &self, shape: &mut SmallVec<[D; 4]>, broadcasting: bool ) -> Result<(), Error>
where D: DimLike,

source

pub fn change_shape( &self, shape: &mut ShapeFact, broadcasting: bool ) -> Result<(), Error>

source

pub fn change_tensor( &self, tensor: &mut Tensor, broadcasting: bool ) -> Result<(), Error>

source

pub fn change_view<D>( &self, view: &mut ArrayBase<ViewRepr<&D>, Dim<IxDynImpl>> ) -> Result<(), Error>

source

pub fn change_view_mut<D>( &self, view: &mut ArrayBase<ViewRepr<&mut D>, Dim<IxDynImpl>> ) -> Result<(), Error>

source

pub fn recip(&self) -> AxisOp

source

pub fn is_noop(&self) -> bool

source

pub fn only_shape(&self) -> bool

source

pub fn wire_split_axis( model: &mut Graph<TypedFact, Box<dyn TypedOp>>, name: impl ToString, outlet: OutletId, axis: usize, outer_dim: usize ) -> Result<SmallVec<[OutletId; 4]>, Error>

source

pub fn wire_collapse_axis( model: &mut Graph<TypedFact, Box<dyn TypedOp>>, name: impl ToString, outlet: OutletId, axis: usize ) -> Result<SmallVec<[OutletId; 4]>, Error>

Trait Implementations§

source§

impl Clone for AxisOp

source§

fn clone(&self) -> AxisOp

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for AxisOp

source§

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

Formats the value using the given formatter. Read more
source§

impl EvalOp for AxisOp

source§

fn is_stateless(&self) -> bool

source§

fn eval_with_session( &self, session: &SessionState, inputs: SmallVec<[TValue; 4]> ) -> Result<SmallVec<[TValue; 4]>, Error>

source§

fn eval( &self, inputs: SmallVec<[TValue; 4]> ) -> Result<SmallVec<[TValue; 4]>, Error>

source§

fn state( &self, session: &mut SessionState, node_id: usize ) -> Result<Option<Box<dyn OpState>>, Error>

source§

impl Hash for AxisOp

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl Op for AxisOp

source§

fn name(&self) -> Cow<'_, str>

source§

fn info(&self) -> Result<Vec<String>, Error>

Short (one-line) strings giving hints on internal implementation or important configuration details to be displayed in dumps.
source§

fn as_typed(&self) -> Option<&(dyn TypedOp + 'static)>

source§

fn validation(&self) -> Validation

The kind of accuracy check that should be performed on operation when testing them.
source§

fn same_as(&self, _other: &(dyn Op + 'static)) -> bool

Compare two ops.
source§

impl PartialEq for AxisOp

source§

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

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl TypedOp for AxisOp

source§

fn as_op(&self) -> &(dyn Op + 'static)

Reinterpret the TypedOp as an Op.
source§

fn as_op_mut(&mut self) -> &mut (dyn Op + 'static)

Reinterpret the TypedOp as an Op, mutably.
source§

fn output_facts( &self, inputs: &[&TypedFact] ) -> Result<SmallVec<[TypedFact; 4]>, Error>

Deduce output facts from input facts.
source§

fn axes_mapping( &self, inputs: &[&TypedFact], outputs: &[&TypedFact] ) -> Result<AxesMapping, Error>

source§

fn declutter( &self, model: &Graph<TypedFact, Box<dyn TypedOp>>, node: &Node<TypedFact, Box<dyn TypedOp>> ) -> Result<Option<ModelPatch<TypedFact, Box<dyn TypedOp>>>, Error>

Declutter the op to the tract_core operator set as much as possible.
source§

fn suggested_axis_changes( &self ) -> Result<SmallVec<[(InOut, AxisOp); 4]>, Error>

source§

fn change_axes( &self, _model: &Graph<TypedFact, Box<dyn TypedOp>>, _node: &Node<TypedFact, Box<dyn TypedOp>>, io: InOut, change: &AxisOp ) -> Result<Option<AxisChangeConsequence>, Error>

source§

fn concretize_dims( &self, _source: &Graph<TypedFact, Box<dyn TypedOp>>, node: &Node<TypedFact, Box<dyn TypedOp>>, target: &mut Graph<TypedFact, Box<dyn TypedOp>>, mapping: &HashMap<OutletId, OutletId>, values: &SymbolValues ) -> Result<SmallVec<[OutletId; 4]>, Error>

Transform the op into by providing a value to one or more symbols.
source§

fn fuse( &self, _model: &Graph<TypedFact, Box<dyn TypedOp>>, _node: &Node<TypedFact, Box<dyn TypedOp>> ) -> Result<Option<ModelPatch<TypedFact, Box<dyn TypedOp>>>, Error>

Fuse op after codegen to deal with local optimisations.
source§

fn declutter_with_session( &self, session: &mut OptimizerSession<'_>, model: &Graph<TypedFact, Box<dyn TypedOp>>, node: &Node<TypedFact, Box<dyn TypedOp>> ) -> Result<Option<ModelPatch<TypedFact, Box<dyn TypedOp>>>, Error>

Declutter the op to the tract_core operator set as much as possible.
source§

fn cost( &self, _inputs: &[&TypedFact] ) -> Result<SmallVec<[(Cost, TDim); 4]>, Error>

Computes a cost hint of the operation. Read more
source§

fn slice( &self, patch: &mut ModelPatch<TypedFact, Box<dyn TypedOp>>, prefix: &str, inputs: &[OutletId], output_axis: usize, start: usize, end: usize ) -> Result<Option<SmallVec<[OutletId; 4]>>, Error>

source§

fn quantize( &self, model: &Graph<TypedFact, Box<dyn TypedOp>>, node: &Node<TypedFact, Box<dyn TypedOp>>, dt: DatumType, scale: f32, zero_point: i32 ) -> Result<Option<Box<dyn TypedOp>>, Error>

Transforms the op in an equivalent one, operating on dt (i8 or u8). Read more
source§

fn codegen( &self, model: &Graph<TypedFact, Box<dyn TypedOp>>, node: &Node<TypedFact, Box<dyn TypedOp>> ) -> Result<Option<ModelPatch<TypedFact, Box<dyn TypedOp>>>, Error>

Translate the op into the most efficient form possible for execution. Read more
source§

fn nested_model_multipliers( &self, inputs: &[&TypedFact] ) -> Vec<(Cow<'_, str>, f64)>

Nested model multipliers, with label (for profiling).
source§

impl Eq for AxisOp

Auto Trait Implementations§

§

impl Freeze for AxisOp

§

impl RefUnwindSafe for AxisOp

§

impl Send for AxisOp

§

impl Sync for AxisOp

§

impl Unpin for AxisOp

§

impl UnwindSafe for AxisOp

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> Downcast for T
where T: Any,

source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
source§

impl<T> DynClone for T
where T: Clone,

source§

fn __clone_box(&self, _: Private) -> *mut ()

source§

impl<T> DynHash for T
where T: Hash + ?Sized,

source§

fn dyn_hash(&self, state: &mut dyn Hasher)

source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.