Constant CUDD_CACHE_SLOTS
pub const CUDD_CACHE_SLOTS: u32 = _; // 262_144u32Expand description
Recommended default size of the operation cache table.
pub const CUDD_CACHE_SLOTS: u32 = _; // 262_144u32Recommended default size of the operation cache table.