Trait tract_pulse::internal::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>;
}

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>

Object Safety

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