Struct batsat::clause::ClauseAllocator
source · pub struct ClauseAllocator { /* private fields */ }
Expand description
Main clause allocator. It stores a set of clauses efficiently.
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for ClauseAllocator
impl Send for ClauseAllocator
impl Sync for ClauseAllocator
impl Unpin for ClauseAllocator
impl UnwindSafe for ClauseAllocator
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