Struct Diagnosis 

pub struct Diagnosis {
    pub clauses: usize,
    pub symmetry_bits: f64,
    pub rule_quotient: usize,
    pub cut: Option<Shadow>,
    pub antipodal: bool,
    pub renamable_horn: bool,
    pub components: usize,
    pub autark_section: bool,
    pub core_clauses: usize,
}

A complete auto-diagnosis of an instance: every structure-detector run at once, so you can read off the full menu of applicable symmetry-breaks and cuts — what you can still do to it.

Fields

clauses: usize

symmetry_bits: f64

rule_quotient: usize

cut: Option<Shadow>

antipodal: bool

renamable_horn: bool

components: usize

autark_section: bool

core_clauses: usize

Trait Implementations

impl Clone for Diagnosis

fn clone(&self) -> Diagnosis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Diagnosis

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

Formats the value using the given formatter.

impl PartialEq for Diagnosis

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Diagnosis