Enum boolector::option::JustificationHeuristic
source · [−]pub enum JustificationHeuristic {
Left,
MinApp,
MinDepth,
}
Variants
Left
Always choose the left branch
MinApp
Choose the branch with the minimum number of applies
MinDepth
Choose the branch with the minimum depth
Auto Trait Implementations
impl RefUnwindSafe for JustificationHeuristic
impl Send for JustificationHeuristic
impl Sync for JustificationHeuristic
impl Unpin for JustificationHeuristic
impl UnwindSafe for JustificationHeuristic
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