Struct RuleSymmetry 

pub struct RuleSymmetry {
    pub n: usize,
    pub blockers: usize,
    pub generators: usize,
    pub rule_orbits: usize,
}

The rule-symmetry signature of a cover: how the polynomially-many blockers collapse under the family’s automorphism group. rule_orbits is the count of essentially-distinct rules — a measure of structural complexity read off without enumerating the 2ⁿ corners. A small, scale-invariant rule_orbits is the geometric fingerprint of a family that admits a short symmetry-broken proof.

Fields

n: usize

blockers: usize

generators: usize

rule_orbits: usize

Trait Implementations

impl Clone for RuleSymmetry

fn clone(&self) -> RuleSymmetry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RuleSymmetry

impl Debug for RuleSymmetry

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

Formats the value using the given formatter.

impl Eq for RuleSymmetry

impl PartialEq for RuleSymmetry

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RuleSymmetry