pub fn separable_decomposition(truth: &[bool]) -> Option<SeparableDecomposition>Expand description
Decompose a Boolean function into its independent direct-sum blocks (the connected components of its ANF
interaction graph). None if truth.len() is not a power of two.