default_num_vars_z
taco_
bdd
0.1.0-alpha.1
In taco_
bdd::
cudd
taco_bdd
::
cudd
Function
default_
num_
vars_
z
Copy item path
Source
fn default_num_vars_z() ->
usize
Expand description
Function to get default num vars for the CUDD manager