ority queue.

<dt> <a href="ntrAllDet.html#Ntr_InitHeap"><code>Ntr_InitHeap()</code></a>
<dd> Initializes a priority queue.

<dt> <a href="ntrAllDet.html#Ntr_SCC"><code>Ntr_SCC()</code></a>
<dd> Computes the SCCs of the STG.

<dt> <a href="ntrAllDet.html#Ntr_ShortestPaths"><code>Ntr_ShortestPaths()</code></a>
<dd> Computes shortest paths in a state graph.

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

<dt> <a href="ntrAllDet.html#Ntr_T