Enum boolector::option::IncrementalSMT1
source · [−]pub enum IncrementalSMT1 {
Basic,
Continue,
}
Variants
Basic
Stop after first satisfiable formula
Continue
Solve all formulas
Auto Trait Implementations
impl RefUnwindSafe for IncrementalSMT1
impl Send for IncrementalSMT1
impl Sync for IncrementalSMT1
impl Unpin for IncrementalSMT1
impl UnwindSafe for IncrementalSMT1
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