Trait tract_hir::internal::Runnable

pub trait Runnable: Debug {
    // Required method
    fn spawn(&self) -> Result<Box<dyn State>, Error>;

    // Provided method
    fn run(
        &self,
        inputs: SmallVec<[TValue; 4]>
    ) -> Result<SmallVec<[TValue; 4]>, Error> { ... }
}

Required Methods

fn spawn(&self) -> Result<Box<dyn State>, Error>

Provided Methods

fn run( &self, inputs: SmallVec<[TValue; 4]> ) -> Result<SmallVec<[TValue; 4]>, Error>

Implementors

impl Runnable for Arc<SimplePlan<TypedFact, Box<dyn TypedOp>, Graph<TypedFact, Box<dyn TypedOp>>>>