Enum WidthConvention 

pub enum WidthConvention {
    Strict,
    WideAxioms,
}

Which clauses the width budget w applies to.

Variants

Strict

Every clause in the derivation — axioms included — must have width ≤ w (the Ben-Sasson–Wigderson refutation-width measure, and the census’s convention).

WideAxioms

Axioms enter at any width; only derived clauses must have width ≤ w. The convention under which wide-axiom families (pigeonhole) have a non-trivial width question.

Trait Implementations

impl Clone for WidthConvention

fn clone(&self) -> WidthConvention

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for WidthConvention

impl Debug for WidthConvention

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

Formats the value using the given formatter.

impl Eq for WidthConvention

impl PartialEq for WidthConvention

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WidthConvention