default_max_memory

taco_bdd::cudd

Function default_max_memory 

Source 
fn default_max_memory() -> usize
Expand description

Function to get default max memory for the CUDD manager