Struct mikino_api::check::Bmc
source · [−]pub struct Bmc<'sys> { /* private fields */ }
Expand description
Bounded Model Checker.
Implementations
sourceimpl<'sys> Bmc<'sys>
impl<'sys> Bmc<'sys>
Auto Trait Implementations
impl<'sys> RefUnwindSafe for Bmc<'sys>
impl<'sys> Send for Bmc<'sys>
impl<'sys> Sync for Bmc<'sys>
impl<'sys> Unpin for Bmc<'sys>
impl<'sys> UnwindSafe for Bmc<'sys>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
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