Struct mikino_api::check::BmcRes
source · [−]pub struct BmcRes<'sys> { /* private fields */ }
Expand description
Result of a BMC check, simply wraps a CheckRes.
Implementations
Methods from Deref<Target = CheckRes<'sys>>
sourcepub fn all_falsified(&self) -> bool
pub fn all_falsified(&self) -> bool
True if all POs have been falsified.
sourcepub fn has_falsifications(&self) -> bool
pub fn has_falsifications(&self) -> bool
True if some POs have been falsified.
Trait Implementations
Auto Trait Implementations
impl<'sys> RefUnwindSafe for BmcRes<'sys>
impl<'sys> Send for BmcRes<'sys>
impl<'sys> Sync for BmcRes<'sys>
impl<'sys> Unpin for BmcRes<'sys>
impl<'sys> UnwindSafe for BmcRes<'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