Trait InnerModel

pub trait InnerModel:
    Debug
    + DynClone
    + Downcast
    + Sync
    + Send
    + 'static {
    // Required methods
    fn output_facts(
        &self,
        inputs: &[&TypedFact],
    ) -> Result<SmallVec<[TypedFact; 4]>, Error>;
    fn is_stateless(&self) -> bool;
    fn declutter(&mut self) -> Result<(), Error>;
    fn codegen(&mut self) -> Result<(), Error>;
    fn as_typed(&self) -> &Graph<TypedFact, Box<dyn TypedOp>>;

    // Provided method
    fn state(
        &self,
        session: &mut SessionState,
        node_id: usize,
    ) -> Result<Option<Box<dyn OpState>>, Error> { ... }
}

Required Methods

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

fn is_stateless(&self) -> bool

fn declutter(&mut self) -> Result<(), Error>

fn codegen(&mut self) -> Result<(), Error>

fn as_typed(&self) -> &Graph<TypedFact, Box<dyn TypedOp>>

Provided Methods

fn state( &self, session: &mut SessionState, node_id: usize, ) -> Result<Option<Box<dyn OpState>>, Error>

Implementations

impl dyn InnerModel

pub fn is<__T>(&self) -> bool

where __T: InnerModel,

Returns true if the trait object wraps an object of type __T.

pub fn downcast<__T>( self: Box<dyn InnerModel>, ) -> Result<Box<__T>, Box<dyn InnerModel>>

where __T: InnerModel,

Returns a boxed object from a boxed trait object if the underlying object is of type __T. Returns the original boxed trait if it isn’t.

pub fn downcast_rc<__T>( self: Rc<dyn InnerModel>, ) -> Result<Rc<__T>, Rc<dyn InnerModel>>

where __T: InnerModel,

Returns an Rc-ed object from an Rc-ed trait object if the underlying object is of type __T. Returns the original Rc-ed trait if it isn’t.

pub fn downcast_ref<__T>(&self) -> Option<&__T>

where __T: InnerModel,

Returns a reference to the object within the trait object if it is of type __T, or None if it isn’t.

pub fn downcast_mut<__T>(&mut self) -> Option<&mut __T>

where __T: InnerModel,

Returns a mutable reference to the object within the trait object if it is of type __T, or None if it isn’t.

Trait Implementations

impl<'clone> Clone for Box<dyn InnerModel + 'clone>

fn clone(&self) -> Box<dyn InnerModel + 'clone>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn InnerModel + Send + 'clone>

fn clone(&self) -> Box<dyn InnerModel + Send + 'clone>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn InnerModel + Sync + Send + 'clone>

fn clone(&self) -> Box<dyn InnerModel + Sync + Send + 'clone>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'clone> Clone for Box<dyn InnerModel + Sync + 'clone>

fn clone(&self) -> Box<dyn InnerModel + Sync + 'clone>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

Implementors

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