Trait proto_vulcan::engine::Engine [−][src]
pub trait Engine<U>: Sized + 'static where
U: User, {
fn new() -> Self;
fn step<'a>(
&'a self,
solver: &'a Solver<U, Self>,
lazy: Lazy<U, Self>
) -> Stream<U, Self>;
}