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 Debug for RuleSymmetry

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

Formats the value using the given formatter.

impl PartialEq for RuleSymmetry

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for RuleSymmetry

impl Eq for RuleSymmetry

impl StructuralPartialEq for RuleSymmetry