Enum UnresolvedReason 

pub enum UnresolvedReason {
    Timeout,
    MaterializationFailed,
    OracleFailed,
    InvalidCandidateSet,
    NonDeterministic,
}

Reason an oracle could not evaluate a candidate list.

Variants

Timeout

The oracle exceeded its time budget.

MaterializationFailed

The caller could not build the trial state for this candidate list.

OracleFailed

The oracle command, callback, or evaluation code failed.

InvalidCandidateSet

The candidate list is invalid for the caller’s domain.

NonDeterministic

The oracle detected nondeterministic behavior.

Trait Implementations

impl Clone for UnresolvedReason

fn clone(&self) -> UnresolvedReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnresolvedReason

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

Formats the value using the given formatter.

impl PartialEq for UnresolvedReason

fn eq(&self, other: &UnresolvedReason) -> 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 Copy for UnresolvedReason

impl Eq for UnresolvedReason

impl StructuralPartialEq for UnresolvedReason