Trait 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>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl SpecialOps<PulsedFact, Box<dyn PulsedOp>> for PulsedModel

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