Enum Backing 

pub enum Backing {
    Refuted,
    Undecided {
        cause: UndecidedCause,
    },
}

What a refusal’s evidence establishes about the claim every refusal judges: “this input has a result the kernel can certify”. A refusal is either REFUTED — a witness in the input itself disproves the claim, and no re-run of the construction can change that — or UNDECIDED — the construction failed to certify and the input has not been shown to be at fault. Retry policy reads this, never a list of variants: a refuted claim is never retried, and only one undecided cause is one a perturbation addresses (UndecidedCause::Degeneracy).

Variants

Refuted

The input refutes the claim: a bad parameter, geometry the kernel does not model, an operation that as specified has no single answer.

Undecided

The available evidence decides nothing; cause names what was missing.

Fields

cause: UndecidedCause

Trait Implementations

impl Clone for Backing

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 Backing

impl Debug for Backing

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

Formats the value using the given formatter.

impl Eq for Backing

impl PartialEq for Backing

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Backing