Enum PolySolveResult 

pub enum PolySolveResult {
    Solved(Vec<bool>),
    Refuted,
    Undetermined,
}

The outcome of an XL solve over GF(2).

Variants

Solved(Vec<bool>)

A satisfying assignment, verified against the original equations.

Refuted

The system is unsatisfiable — a certified refutation (the linearized system became inconsistent).

Undetermined

No verdict at the operating degrees tried (raise max_degree).

Trait Implementations

impl Clone for PolySolveResult

fn clone(&self) -> PolySolveResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PolySolveResult

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

Formats the value using the given formatter.

impl PartialEq for PolySolveResult

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

impl StructuralPartialEq for PolySolveResult