 closure of a transition relation.

<dt> <a href="ntrAllDet.html#Ntr_Trav"><code>Ntr_Trav()</code></a>
<dd> Poor man's traversal procedure.

<dt> <a href="ntrAllDet.html#Ntr_VerifyEquivalence"><code>Ntr_VerifyEquivalence()</code></a>
<dd> Verify equivalence of combinational networks.

<dt> <a href="ntrAllDet.html#Ntr_buildDDs"><code>Ntr_buildDDs()</code></a>
<dd> Builds DDs for a network outputs and next state functions.

<dt> <a href="ntrAllDet.html#Ntr_buildTR"><code>Ntr_buildTR()</code></a>
<dd> Builds t