Enum stateright::Expectation
source · pub enum Expectation {
Always,
Eventually,
Sometimes,
}
Expand description
Indicates whether a property is always, eventually, or sometimes true.
Variants§
Always
The property is true for all reachable states.
Eventually
The property is eventually true for all behavior paths.
Sometimes
The property is true for at least one reachable state.
Trait Implementations§
source§impl Clone for Expectation
impl Clone for Expectation
source§fn clone(&self) -> Expectation
fn clone(&self) -> Expectation
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for Expectation
impl Debug for Expectation
source§impl<'de> Deserialize<'de> for Expectation
impl<'de> Deserialize<'de> for Expectation
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Ord for Expectation
impl Ord for Expectation
source§fn cmp(&self, other: &Expectation) -> Ordering
fn cmp(&self, other: &Expectation) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq<Expectation> for Expectation
impl PartialEq<Expectation> for Expectation
source§fn eq(&self, other: &Expectation) -> bool
fn eq(&self, other: &Expectation) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd<Expectation> for Expectation
impl PartialOrd<Expectation> for Expectation
source§fn partial_cmp(&self, other: &Expectation) -> Option<Ordering>
fn partial_cmp(&self, other: &Expectation) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl Serialize for Expectation
impl Serialize for Expectation
impl Eq for Expectation
impl StructuralEq for Expectation
impl StructuralPartialEq for Expectation
Auto Trait Implementations§
impl RefUnwindSafe for Expectation
impl Send for Expectation
impl Sync for Expectation
impl Unpin for Expectation
impl UnwindSafe for Expectation
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<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more