[−][src]Enum boolector::option::EagerLemmas
Variants
Do not generate lemmas eagerly (generate one single lemma per refinement iteration)
Only generate lemmas eagerly until the first conflict dependent on another conflict is found
In each refinement iterations, generate lemmas for all conflicts
Auto Trait Implementations
impl RefUnwindSafe for EagerLemmas
[src]
impl Send for EagerLemmas
[src]
impl Sync for EagerLemmas
[src]
impl Unpin for EagerLemmas
[src]
impl UnwindSafe for EagerLemmas
[src]
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,