Struct VariableSymmetry 

pub struct VariableSymmetry {
    pub num_vars: usize,
    pub generators: Vec<Vec<usize>>,
    pub order: u128,
    pub orbit_count: usize,
    pub orbit_values: Vec<bool>,
}

The variable-permutation symmetry of a Boolean function: a certified subgroup G ≤ Aut(f) and the input-orbit compression it induces.

Fields

num_vars: usize

generators: Vec<Vec<usize>>

Generators of G (each a permutation of the n variables) — every one a verified automorphism.

order: u128

|G| — the certified group order from Schreier–Sims.

orbit_count: usize

The number of orbits of inputs {0,1}ⁿ under G: the compressed table size (one value per orbit).

orbit_values: Vec<bool>

One value per orbit, indexed by the orbit’s minimal representative in ascending order.

Implementations

impl VariableSymmetry

pub fn is_nontrivial(&self) -> bool

Whether the function has any nontrivial variable-permutation symmetry.

pub fn reconstruct(&self, n: usize) -> Option<Vec<bool>>

Rebuild the 2ⁿ truth table by replaying the group action and painting each orbit its value — the re-checkable witness. None for a malformed report.

pub fn verify(&self, truth: &[bool]) -> bool

Re-check: every generator is a genuine automorphism and the orbit painting reproduces f.

Trait Implementations

impl Clone for VariableSymmetry

fn clone(&self) -> VariableSymmetry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VariableSymmetry

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

Formats the value using the given formatter.

impl PartialEq for VariableSymmetry

fn eq(&self, other: &VariableSymmetry) -> 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 Eq for VariableSymmetry

impl StructuralPartialEq for VariableSymmetry