Enum KernelVerdict 

pub enum KernelVerdict {
    Both,
    FirstOnly,
    Rejected,
}

What the kernels say of one identity.

Variants

Both

The first kernel’s try_ring reduces it to DRingSolve and its conclusion is the identity, and the second kernel re-checks the same.

FirstOnly

The first kernel accepts it; the second’s exact evaluation (a Kronecker substitution with a bound on its slots) declines it as past its bounds, which is no verdict and never a disagreement.

Rejected

The first kernel rejects it, or the two disagree.

Trait Implementations

impl Clone for KernelVerdict

fn clone(&self) -> KernelVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KernelVerdict

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

Formats the value using the given formatter.

impl PartialEq for KernelVerdict

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

impl Eq for KernelVerdict

impl StructuralPartialEq for KernelVerdict