pub fn distinct_width(n: usize, clauses: &CanonClauses) -> usizeExpand description
The distinct-cofactor count — the OBDD width under the fixed order 0..n. Equal to
Σ (level widths) and to |cofactor_set|.
pub fn distinct_width(n: usize, clauses: &CanonClauses) -> usizeThe distinct-cofactor count — the OBDD width under the fixed order 0..n. Equal to
Σ (level widths) and to |cofactor_set|.