[−][src]Enum haybale::config::Concretize
Enum used for the concretize_memcpy_lengths
option in Config
.
Variants
Handle everything fully symbolically - that is, have the solver fully consider all possible values. This may lead to poor solver performance for some workloads.
Pick one possible value arbitrarily. Often this may choose 0
if 0
is
a possible solution, but this behavior is not guaranteed. (To guarantee
this behavior, use Prefer(0)
.)
The value will be permanently constrained to be the chosen value (on this path), and other possibilities will not be considered.
Prefer(u64, Box<Concretize>)
Prefer the given u64
value if it is a possible value. Otherwise, fall
back on the given Concretize
strategy.
If the given u64
value is a possible value, then the value will be
permanently constrained to be that value (on this path), and other
possibilities will not be considered.
Choose the maximum possible value. Maximum
will be interpreted in an
unsigned fashion.
The value will be permanently constrained to be this value (on this path), and other possibilities will not be considered.
Choose the minimum possible value. Minimum
will be interpreted in an
unsigned fashion.
The value will be permanently constrained to be this value (on this path), and other possibilities will not be considered.
Trait Implementations
impl Clone for Concretize
[src]
fn clone(&self) -> Concretize
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Debug for Concretize
[src]
impl Eq for Concretize
[src]
impl PartialEq<Concretize> for Concretize
[src]
fn eq(&self, other: &Concretize) -> bool
[src]
fn ne(&self, other: &Concretize) -> bool
[src]
impl StructuralEq for Concretize
[src]
impl StructuralPartialEq for Concretize
[src]
Auto Trait Implementations
impl RefUnwindSafe for Concretize
impl Send for Concretize
impl Sync for Concretize
impl Unpin for Concretize
impl UnwindSafe for Concretize
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,