Struct rsmt2::asynch::CheckSatFuture
source · [−]pub struct CheckSatFuture<'sref, Parser> { /* private fields */ }
Expand description
Master thread.
Implementations
Trait Implementations
Auto Trait Implementations
impl<'sref, Parser> !RefUnwindSafe for CheckSatFuture<'sref, Parser>
impl<'sref, Parser> Send for CheckSatFuture<'sref, Parser>where
Parser: Send,
impl<'sref, Parser> !Sync for CheckSatFuture<'sref, Parser>
impl<'sref, Parser> Unpin for CheckSatFuture<'sref, Parser>
impl<'sref, Parser> !UnwindSafe for CheckSatFuture<'sref, Parser>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more