default_num_slots

taco_bdd::cudd

Function default_num_slots 

Source 
fn default_num_slots() -> usize
Expand description

Function to get default num slots for the CUDD manager