[−][src]Enum haybale_pitchfork::AbstractValue
A variety of ways to specify a numerical value, from completely unconstrained to fully constrained.
Variants
ExactValue(u64)
This exact numerical value
Any numerical value in the range (inclusive)
Any value whatsoever
A value with a (unique) name, so that it can be referenced in a Equal
, SignedLessThan
, SignedGreaterThan
, etc.
If more than one AbstractValue
is given the same name, they will implicitly be set equal to each other.
Fields of Named
name: String
value: Box<AbstractValue>
EqualTo(String)
A value equal to the value with the given name
SignedLessThan(String)
A value signed-less-than the value with the given name
SignedGreaterThan(String)
A value signed-greater-than the value with the given name
UnsignedLessThan(String)
A value unsigned-less-than the value with the given name
UnsignedGreaterThan(String)
A value unsigned-greater-than the value with the given name
Methods
impl AbstractValue
[src]
pub fn named(name: &str, value: AbstractValue) -> Self
[src]
Trait Implementations
impl Clone for AbstractValue
[src]
fn clone(&self) -> AbstractValue
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Debug for AbstractValue
[src]
impl Eq for AbstractValue
[src]
impl PartialEq<AbstractValue> for AbstractValue
[src]
fn eq(&self, other: &AbstractValue) -> bool
[src]
fn ne(&self, other: &AbstractValue) -> bool
[src]
impl StructuralEq for AbstractValue
[src]
impl StructuralPartialEq for AbstractValue
[src]
Auto Trait Implementations
impl RefUnwindSafe for AbstractValue
impl Send for AbstractValue
impl Sync for AbstractValue
impl Unpin for AbstractValue
impl UnwindSafe for AbstractValue
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>,