Enum haybale_pitchfork::AbstractValue [−][src]
pub enum AbstractValue {
ExactValue(u64),
Range(u64, u64),
Unconstrained,
Named {
name: String,
value: Box<AbstractValue>,
},
EqualTo(String),
SignedLessThan(String),
SignedGreaterThan(String),
UnsignedLessThan(String),
UnsignedGreaterThan(String),
}
Expand description
A variety of ways to specify a numerical value, from completely unconstrained to fully constrained.
Variants
ExactValue(u64)
This exact numerical value
Tuple Fields of ExactValue
0: u64
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
Tuple Fields of EqualTo
0: String
SignedLessThan(String)
A value signed-less-than the value with the given name
Tuple Fields of SignedLessThan
0: String
SignedGreaterThan(String)
A value signed-greater-than the value with the given name
Tuple Fields of SignedGreaterThan
0: String
UnsignedLessThan(String)
A value unsigned-less-than the value with the given name
Tuple Fields of UnsignedLessThan
0: String
UnsignedGreaterThan(String)
A value unsigned-greater-than the value with the given name
Tuple Fields of UnsignedGreaterThan
0: String
Implementations
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
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
Mutably borrows from an owned value. Read more