[−][src]Enum stateright::Expectation
Indicates whether a property is always, eventually, or sometimes true.
Variants
The property is true for all reachable states.
The property is eventually true for all behavior paths.
The property is true for at least one reachable state.
Trait Implementations
impl Clone for Expectation
[src]
pub fn clone(&self) -> Expectation
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Debug for Expectation
[src]
impl Eq for Expectation
[src]
impl PartialEq<Expectation> for Expectation
[src]
pub fn eq(&self, other: &Expectation) -> bool
[src]
#[must_use]pub fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
impl StructuralEq for Expectation
[src]
impl StructuralPartialEq for Expectation
[src]
Auto Trait Implementations
impl RefUnwindSafe for Expectation
[src]
impl Send for Expectation
[src]
impl Sync for Expectation
[src]
impl Unpin for Expectation
[src]
impl UnwindSafe for Expectation
[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<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
pub fn equivalent(&self, key: &K) -> bool
[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>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,