estClosestCube"><code>Ntr_TestClosestCube()</code></a>
<dd> Tests the Cudd_bddClosestCube function.

<dt> <a href="ntrAllDet.html#Ntr_TestCofactorEstimate"><code>Ntr_TestCofactorEstimate()</code></a>
<dd> Tests BDD cofactor estimate functions.

<dt> <a href="ntrAllDet.html#Ntr_TestDecomp"><code>Ntr_TestDecomp()</code></a>
<dd> Tests BDD decomposition functions.

<dt> <a href="ntrAllDet.html#Ntr_TestDensity"><code>Ntr_TestDensity()</code></a>
<dd> Tests BDD density-related functions.

<dt> <a href="ntrAllDet