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 Debug for Expectation

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for Expectation

impl PartialEq<Expectation> for Expectation

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

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

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

This method tests for !=.

impl StructuralEq for Expectation

impl StructuralPartialEq for Expectation