Struct FamilySignature 

pub struct FamilySignature {
    pub num_vars: usize,
    pub clauses: usize,
    pub rule_types: usize,
    pub shadow: Option<Shadow>,
}

The abstract signature of a family: its rules symmetry-broken to their orbit types, and which certified shadow (if any) refutes it. This is the auto-collapse spread across families — the same machinery that found pigeonhole’s two-type counting abstraction, applied blind to any cover.

Fields

num_vars: usize

clauses: usize

rule_types: usize

shadow: Option<Shadow>

Trait Implementations

impl Clone for FamilySignature

fn clone(&self) -> FamilySignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FamilySignature

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

Formats the value using the given formatter.

impl Eq for FamilySignature

impl PartialEq for FamilySignature

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FamilySignature