Enum CarveOutcome 

pub enum CarveOutcome {
    Sat,
    Unsat,
    Core {
        clauses: Vec<Vec<Lit>>,
        forced: Vec<Lit>,
    },
}

What carving the hypercube reduced a formula to.

Variants

Sat

Carved to nothing — satisfiable.

Unsat

Carved to an empty clause — unsatisfiable.

Core

Carved to an irreducible core, plus the literals forced along the way.

Fields

clauses: Vec<Vec<Lit>>

forced: Vec<Lit>

Trait Implementations

impl Clone for CarveOutcome

fn clone(&self) -> CarveOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CarveOutcome

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

Formats the value using the given formatter.

impl Eq for CarveOutcome

impl PartialEq for CarveOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CarveOutcome