pub trait Engine<U>: Sized + 'staticwhere
U: User,{
// Required methods
fn new() -> Self;
fn step<'a>(
&'a self,
solver: &'a Solver<U, Self>,
lazy: Lazy<U, Self>,
) -> Stream<U, Self>;
}Required Methods§
fn new() -> Self
fn step<'a>( &'a self, solver: &'a Solver<U, Self>, lazy: Lazy<U, Self>, ) -> Stream<U, Self>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".