Enum boolector::option::EagerLemmas
source · [−]pub enum EagerLemmas {
None,
Conf,
All,
}
Variants
None
Do not generate lemmas eagerly (generate one single lemma per refinement iteration)
Conf
Only generate lemmas eagerly until the first conflict dependent on another conflict is found
All
In each refinement iterations, generate lemmas for all conflicts
Auto Trait Implementations
impl RefUnwindSafe for EagerLemmas
impl Send for EagerLemmas
impl Sync for EagerLemmas
impl Unpin for EagerLemmas
impl UnwindSafe for EagerLemmas
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