pub trait Runtime:
Debug
+ Send
+ Sync
+ 'static {
// Required methods
fn name(&self) -> Cow<'static, str>;
fn check(&self) -> Result<(), Error>;
fn prepare_with_options(
&self,
model: Graph<TypedFact, Box<dyn TypedOp>>,
options: &RunOptions,
) -> Result<Box<dyn Runnable>, Error>;
// Provided method
fn prepare(
&self,
model: Graph<TypedFact, Box<dyn TypedOp>>,
) -> Result<Box<dyn Runnable>, Error> { ... }
}Required Methods§
fn name(&self) -> Cow<'static, str>
fn check(&self) -> Result<(), Error>
fn prepare_with_options( &self, model: Graph<TypedFact, Box<dyn TypedOp>>, options: &RunOptions, ) -> Result<Box<dyn Runnable>, Error>
Provided Methods§
fn prepare( &self, model: Graph<TypedFact, Box<dyn TypedOp>>, ) -> Result<Box<dyn Runnable>, Error>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".