Struct boolector_sys::BtorAbortCallback
source · #[repr(C)]pub struct BtorAbortCallback {
pub abort_fun: Option<unsafe extern "C" fn(msg: *const c_char)>,
pub cb_fun: *mut c_void,
}
Fields§
§abort_fun: Option<unsafe extern "C" fn(msg: *const c_char)>
§cb_fun: *mut c_void
Trait Implementations§
source§impl Clone for BtorAbortCallback
impl Clone for BtorAbortCallback
source§fn clone(&self) -> BtorAbortCallback
fn clone(&self) -> BtorAbortCallback
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for BtorAbortCallback
impl Debug for BtorAbortCallback
impl Copy for BtorAbortCallback
Auto Trait Implementations§
impl RefUnwindSafe for BtorAbortCallback
impl !Send for BtorAbortCallback
impl !Sync for BtorAbortCallback
impl Unpin for BtorAbortCallback
impl UnwindSafe for BtorAbortCallback
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