Enum stateright::Expectation

pub enum Expectation {
    Always,
    Eventually,
    Sometimes,
}

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

impl Clone for Expectation

pub fn clone(&self) -> Expectation

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Expectation

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Expectation

impl PartialEq<Expectation> for Expectation

pub fn eq(&self, other: &Expectation) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for Expectation

impl StructuralPartialEq for Expectation