.html#Ntr_TestEquivAndContain"><code>Ntr_TestEquivAndContain()</code></a>
<dd> Tests BDD equivalence and containment with don't cares.

<dt> <a href="ntrAllDet.html#Ntr_TestHeap"><code>Ntr_TestHeap()</code></a>
<dd> Tests the heap property of a priority queue.

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

<dt> <a href="ntrAllDet.html#Ntr_TransitiveClosure"><code>Ntr_TransitiveClosure()</code></a>
<dd> Builds the transitive