Trait tract_hir::prelude::SpecialOps

pub trait SpecialOps<F, O> {
    // Required methods
    fn create_dummy(&self) -> O;
    fn create_source(&self, fact: F) -> O;
    fn is_source(op: &O) -> bool;
    fn wire_node(
        &mut self,
        name: impl Into<String>,
        op: impl Into<O>,
        inputs: &[OutletId]
    ) -> Result<SmallVec<[OutletId; 4]>, Error>;
    fn add_const(
        &mut self,
        name: impl Into<String>,
        v: impl IntoArcTensor
    ) -> Result<OutletId, Error>;
}

Required Methods

fn create_dummy(&self) -> O

fn create_source(&self, fact: F) -> O

fn is_source(op: &O) -> bool

fn wire_node( &mut self, name: impl Into<String>, op: impl Into<O>, inputs: &[OutletId] ) -> Result<SmallVec<[OutletId; 4]>, Error>

fn add_const( &mut self, name: impl Into<String>, v: impl IntoArcTensor ) -> Result<OutletId, Error>

Object Safety

This trait is not object safe.

Implementors

impl SpecialOps<InferenceFact, Box<dyn InferenceOp>> for InferenceModel

impl SpecialOps<TypedFact, Box<dyn TypedOp>> for Graph<TypedFact, Box<dyn TypedOp>>