Enum boolector::option::PropPathSelection
source · [−]pub enum PropPathSelection {
Controlling,
Essential,
Random,
}
Variants
Controlling
Select path based on controlling inputs
Essential
Select path based on essential inputs
Random
Select path based on random inputs
Auto Trait Implementations
impl RefUnwindSafe for PropPathSelection
impl Send for PropPathSelection
impl Sync for PropPathSelection
impl Unpin for PropPathSelection
impl UnwindSafe for PropPathSelection
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