Enum CoverVerdict 

pub enum CoverVerdict {
    Total {
        cut: Option<Shadow>,
    },
    Escapes,
    Unknown,
}

The verdict of auto-cutting a cover: which certified cut showed it total (no corner escapes), or that a corner escapes (satisfiable), or that it is not a cover the prover decides.

Variants

Total

Total cover — UNSAT, every corner blocked. cut names the structured hyperplane family that certified it in polynomial time (counting / parity / cutting-planes), or None when the general certified prover (symmetry-broken CDCL → RUP) closed it.

Fields

cut: Option<Shadow>

Escapes

A corner escapes the cover — satisfiable.

Unknown

Not a propositional cover the prover handles.

Trait Implementations

impl Clone for CoverVerdict

fn clone(&self) -> CoverVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoverVerdict

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

Formats the value using the given formatter.

impl Eq for CoverVerdict

impl PartialEq for CoverVerdict

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CoverVerdict