Enum Disposition 

pub enum Disposition {
    Fails,
    Pending,
    Passes,
    Disabled,
}

What an evaluation attempt of a property spec came to (16.12 disable iff).

Variants

Fails

The property failed (before any disabling).

Pending

Nothing has failed and nothing is decided: the attempt is pending.

Passes

The property holds strongly: it passed.

Disabled

The disable condition was true at some time step of the attempt while the property was still undecided: “a disabled evaluation of a property does not result in success or failure” (16.12).

Trait Implementations

impl Clone for Disposition

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Disposition

impl Debug for Disposition

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

Formats the value using the given formatter.

impl Eq for Disposition

impl From<Verdict> for Disposition

fn from(v: Verdict) -> Self

Converts to this type from the input type.

impl PartialEq for Disposition

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

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Disposition