Struct batsat::core::SolverPrintDimacs
source · pub struct SolverPrintDimacs<'a, Cb: Callbacks + 'a> { /* private fields */ }
Expand description
Print the model/proof as DIMACS
Trait Implementations
Auto Trait Implementations
impl<'a, Cb> RefUnwindSafe for SolverPrintDimacs<'a, Cb>where
Cb: RefUnwindSafe,
impl<'a, Cb> Send for SolverPrintDimacs<'a, Cb>where
Cb: Sync,
impl<'a, Cb> Sync for SolverPrintDimacs<'a, Cb>where
Cb: Sync,
impl<'a, Cb> Unpin for SolverPrintDimacs<'a, Cb>
impl<'a, Cb> UnwindSafe for SolverPrintDimacs<'a, Cb>where
Cb: RefUnwindSafe,
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