Enum haybale::config::Concretize [−][src]
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]
pub 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
[src]
impl Send for Concretize
[src]
impl Sync for Concretize
[src]
impl Unpin for Concretize
[src]
impl UnwindSafe for Concretize
[src]
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,
pub 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.
pub fn to_owned(&self) -> T
[src]
pub 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.
pub 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>,