Struct rustsat_kissat::Interrupter
source · pub struct Interrupter { /* private fields */ }
Expand description
An Interrupter for the Kissat solver
Trait Implementations§
source§impl InterruptSolver for Interrupter
impl InterruptSolver for Interrupter
impl Send for Interrupter
impl Sync for Interrupter
Auto Trait Implementations§
impl Freeze for Interrupter
impl RefUnwindSafe for Interrupter
impl Unpin for Interrupter
impl UnwindSafe for Interrupter
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more