Enum boolector::option::RewriteLevel
source · [−]pub enum RewriteLevel {
None,
TermLevel,
More,
Full,
}
Variants
None
“no rewriting”
TermLevel
“term level rewriting”
More
“more simplification techniques”
Full
“full rewriting/simplification”
Auto Trait Implementations
impl RefUnwindSafe for RewriteLevel
impl Send for RewriteLevel
impl Sync for RewriteLevel
impl Unpin for RewriteLevel
impl UnwindSafe for RewriteLevel
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