default_reorder_method

taco_bdd::cudd

Function default_reorder_method 

Source 
fn default_reorder_method() -> CuddReorderMethod
Expand description

Function to get default reordering method for the CUDD manager