Struct SeparableDecomposition 

pub struct SeparableDecomposition {
    pub num_vars: usize,
    pub constant: bool,
    pub blocks: Vec<Vec<usize>>,
    pub block_truths: Vec<Vec<bool>>,
}

A direct-sum decomposition f = constant ⊕ ⊕ᵢ fᵢ(x_{Bᵢ}) over independent variable blocks.

Fields

num_vars: usize

constant: bool

The XOR of the empty monomial — the standalone constant term.

blocks: Vec<Vec<usize>>

A partition of the RELEVANT variables into independent blocks (each sorted; irrelevant vars omitted).

block_truths: Vec<Vec<bool>>

Each block’s function as a 2^{|Bᵢ|} truth table, aligned with blocks (LSB-first in block order).

Implementations

impl SeparableDecomposition

pub fn is_separable(&self) -> bool

Whether the function splits into two or more independent blocks.

pub fn table_bits(&self) -> usize

The total bits of the block tables — Σ 2^{|Bᵢ|}, against 2ⁿ for the whole truth table.

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

Rebuild the 2ⁿ truth table — the re-checkable witness. None for a malformed decomposition.

Trait Implementations

impl Clone for SeparableDecomposition

fn clone(&self) -> SeparableDecomposition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SeparableDecomposition

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

Formats the value using the given formatter.