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 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for MinimizationStrategy
Source§impl Debug for MinimizationStrategy
impl Debug for MinimizationStrategy
impl Eq for MinimizationStrategy
Source§impl PartialEq for MinimizationStrategy
impl PartialEq for MinimizationStrategy
Source§fn eq(&self, other: &MinimizationStrategy) -> bool
fn eq(&self, other: &MinimizationStrategy) -> bool
Tests for
self and other values to be equal, and is used by ==.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 UnsafeUnpin 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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
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