pub fn flatten_ac(expr: &TLExpr, op: ACOperator) -> Vec<TLExpr>Expand description
Flatten an AC expression into a list of operands.
For example, (A ∧ B) ∧ (C ∧ D) becomes [A, B, C, D].
pub fn flatten_ac(expr: &TLExpr, op: ACOperator) -> Vec<TLExpr>Flatten an AC expression into a list of operands.
For example, (A ∧ B) ∧ (C ∧ D) becomes [A, B, C, D].