Enum tract_hir::internal::AxisOp

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

impl AxisOp

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

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

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

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

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

pub fn change_tensor_broadcast_aware(
    &self,
    tensor: &mut Tensor
) -> Result<(), TractError>

pub fn recip(&self) -> AxisOp

pub fn is_noop(&self) -> bool

pub fn only_shape(&self) -> bool

Trait Implementations

impl Clone for AxisOp

fn clone(&self) -> AxisOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AxisOp

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

Formats the value using the given formatter.

impl DynHash for AxisOp

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

impl Hash for AxisOp

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, 

Feeds a slice of this type into the given [Hasher].

impl Op for AxisOp

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

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

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

fn is_canonic(&self) -> bool

fn op_families(&self) -> &'static [&'static str]

Vector of short strings defining what families the op belongs too. tract-core defines "core", "mir", "lir".

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

fn as_pulsed(&self) -> Option<&(dyn PulsedOp + 'static)>

fn validation(&self) -> Validation

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

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

Compare two ops.

impl PartialEq<AxisOp> for AxisOp

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

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl PulsedOp for AxisOp

fn pulsed_output_facts(
    &self,
    inputs: &[&PulsedFact]
) -> Result<SmallVec<[PulsedFact; 4]>, TractError>

Deduce output facts from input facts.

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

Reinterpret the PulsedOp as an Op.

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

Reinterpret the PulsedOp as an Op, mutably.

fn to_typed(&self) -> Box<dyn TypedOp + 'static>

Reinterpret the PulsedOp as an TypedOp.

impl StatelessOp for AxisOp

fn eval(
    &self,
    inputs: SmallVec<[Arc<Tensor>; 4]>
) -> Result<SmallVec<[Arc<Tensor>; 4]>, TractError>

impl TypedOp for AxisOp

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

Reinterpret the TypedOp as an Op.

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

Reinterpret the TypedOp as an Op, mutably.

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

Deduce output facts from input facts.

fn invariants(
    &self,
    _model: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>
) -> Result<Invariants, TractError>

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

fn change_axes(
    &self,
    model: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>,
    io: InOut,
    change: &AxisOp
) -> Result<Option<AxisChangeConsequence>, TractError>

fn pulsify(
    &self,
    _source: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>,
    target: &mut Graph<PulsedFact, Box<dyn PulsedOp + 'static>>,
    mapping: &HashMap<OutletId, OutletId, RandomState>,
    _pulse: usize
) -> Result<SmallVec<[OutletId; 4]>, TractError>

Translate an op from a typed network to a pulsing equivalent form, if possible.

fn fuse(
    &self,
    _model: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    _node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>
) -> Result<Option<ModelPatch<TypedFact, Box<dyn TypedOp + 'static>>>, TractError>

Fuse op after codegen to deal with local optimisations.

fn declutter(
    &self,
    model: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>
) -> Result<Option<ModelPatch<TypedFact, Box<dyn TypedOp + 'static>>>, TractError>

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

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

Computes a cost hint of the operation.

fn slice_output(
    &self,
    model: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>,
    patch: &mut ModelPatch<TypedFact, Box<dyn TypedOp + 'static>>,
    output_slot: usize,
    axis: usize,
    start: usize,
    end: usize
) -> Result<Option<OutletId>, TractError>

fn quantize(
    &self,
    model: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>,
    dt: DatumType,
    scale: f32,
    zero_point: i32
) -> Result<Option<Box<dyn TypedOp + 'static>>, TractError>

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

fn concretize_stream_dim(
    &self,
    _source: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>,
    target: &mut Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    mapping: &HashMap<OutletId, OutletId, RandomState>,
    _stream_dim: usize
) -> Result<SmallVec<[OutletId; 4]>, TractError>

Transform the op into by making the S dimension concrete.

fn codegen(
    &self,
    _model: &Graph<TypedFact, Box<dyn TypedOp + 'static>>,
    _node: &BaseNode<TypedFact, Box<dyn TypedOp + 'static>>
) -> Result<Option<ModelPatch<TypedFact, Box<dyn TypedOp + 'static>>>, TractError>

Translate the op into the most efficient form possible for execution.

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

Nested model multipliers, with label (for profiling).