pub enum MinimizationStrategy {
NumericValue,
AssignmentCount,
BooleanTrue,
Custom,
}Expand description
Minimization strategy.
Variants§
NumericValue
Minimize numeric values.
AssignmentCount
Minimize number of assignments.
BooleanTrue
Minimize number of true booleans.
Custom
Custom strategy.
Trait Implementations§
Source§impl Clone for MinimizationStrategy
impl Clone for MinimizationStrategy
Source§fn clone(&self) -> MinimizationStrategy
fn clone(&self) -> MinimizationStrategy
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for MinimizationStrategy
impl Debug for MinimizationStrategy
Source§impl PartialEq for MinimizationStrategy
impl PartialEq for MinimizationStrategy
impl Copy for MinimizationStrategy
impl Eq for MinimizationStrategy
impl StructuralPartialEq for MinimizationStrategy
Auto Trait Implementations§
impl Freeze for MinimizationStrategy
impl RefUnwindSafe for MinimizationStrategy
impl Send for MinimizationStrategy
impl Sync for MinimizationStrategy
impl Unpin for MinimizationStrategy
impl UnwindSafe for MinimizationStrategy
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more