Enum OracleOutcome 

pub enum OracleOutcome {
    Interesting,
    NotInteresting,
    Unresolved(UnresolvedReason),
}

Result of evaluating one candidate list.

Variants

Interesting

The candidate list still preserves the target property.

NotInteresting

The candidate list does not preserve the target property.

Unresolved(UnresolvedReason)

The oracle could not safely decide for this candidate list.

Trait Implementations

impl Clone for OracleOutcome

fn clone(&self) -> OracleOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OracleOutcome

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

Formats the value using the given formatter.

impl PartialEq for OracleOutcome

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for OracleOutcome

impl StructuralPartialEq for OracleOutcome