default_num_vars

taco_bdd::cudd

Function default_num_vars 

Source 
fn default_num_vars() -> usize
Expand description

Function to get default num vars for the CUDD manager