 the BDD of the initial state(s).

<dt> <a href="ntrAllDet.html#Ntr_maxflow"><code>Ntr_maxflow()</code></a>
<dd> Maximum 0-1 flow between source and sink states.

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

<dt> <a href="ntrAllDet.html#Ntr_testISOP"><code>Ntr_testISOP()</code></a>
<dd> Builds ZDD covers.

<dt> <a href="ntrAllDet.html#Ntr_testZDD"><code>Ntr_testZDD()</code></a>
<dd> Tests ZDDs.

<dt> <a href="ntrAllDet.html#STRING_EQUAL"><code>STRING_EQUAL()</c