Trait tract_pulse::internal::SpecialOps

pub trait SpecialOps<F, O> {
    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>

Implementors

impl SpecialOps<PulsedFact, Box<dyn PulsedOp + 'static, Global>> for PulsedModel

impl SpecialOps<TypedFact, Box<dyn TypedOp + 'static, Global>> for Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>