Enum Status 

#[non_exhaustive]
pub enum Status {
    Complete,
    Partial,
    Ambiguous,
    Indeterminate,
}

How far an analysis got.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Complete

Every intended atom was available and unambiguous.

Partial

Computed, but some intended atoms were not available.

Ambiguous

Several defensible answers exist; one was chosen deterministically.

Indeterminate

No defensible single answer exists under this policy.

An analysis in this state has no value: see Outcome::Indeterminate.

Implementations

impl Status

pub const fn is_usable(self) -> bool

Returns true when the value may be used as an answer.

Trait Implementations

impl Clone for Status

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 Status

impl Debug for Status

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

Formats the value using the given formatter.

impl Default for Status

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Status

impl From<Quality> for Status

fn from(quality: Quality) -> Self

Converts to this type from the input type.

impl Hash for Status

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Status

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Status