2 <head><title>ntr package abstract
</title></head>
5 <h1>ntr package abstract
</h1>
6 <h2>Simple-minded package to do traversal.
</h2>
9 <!-- Function Abstracts -->
12 <dt> <a href=
"ntrExtDet.html#Ntr_ClosureTrav"><code>Ntr_ClosureTrav()
</code></a>
13 <dd> Transitive closure traversal procedure.
15 <dt> <a href=
"ntrExtDet.html#Ntr_Envelope"><code>Ntr_Envelope()
</code></a>
16 <dd> Poor man's outer envelope computation.
18 <dt> <a href=
"ntrExtDet.html#Ntr_FreeHeap"><code>Ntr_FreeHeap()
</code></a>
19 <dd> Frees a priority queue.
21 <dt> <a href=
"ntrExtDet.html#Ntr_HeapClone"><code>Ntr_HeapClone()
</code></a>
22 <dd> Clones a priority queue.
24 <dt> <a href=
"ntrExtDet.html#Ntr_HeapCount"><code>Ntr_HeapCount()
</code></a>
25 <dd> Returns the number of items in a priority queue.
27 <dt> <a href=
"ntrExtDet.html#Ntr_HeapExtractMin"><code>Ntr_HeapExtractMin()
</code></a>
28 <dd> Extracts the element with the minimum key from a priority queue.
30 <dt> <a href=
"ntrExtDet.html#Ntr_HeapInsert"><code>Ntr_HeapInsert()
</code></a>
31 <dd> Inserts an item in a priority queue.
33 <dt> <a href=
"ntrExtDet.html#Ntr_InitHeap"><code>Ntr_InitHeap()
</code></a>
34 <dd> Initializes a priority queue.
36 <dt> <a href=
"ntrExtDet.html#Ntr_SCC"><code>Ntr_SCC()
</code></a>
37 <dd> Computes the SCCs of the STG.
39 <dt> <a href=
"ntrExtDet.html#Ntr_ShortestPaths"><code>Ntr_ShortestPaths()
</code></a>
40 <dd> Computes shortest paths in a state graph.
42 <dt> <a href=
"ntrExtDet.html#Ntr_TestClipping"><code>Ntr_TestClipping()
</code></a>
43 <dd> Tests BDD clipping functions.
45 <dt> <a href=
"ntrExtDet.html#Ntr_TestClosestCube"><code>Ntr_TestClosestCube()
</code></a>
46 <dd> Tests the Cudd_bddClosestCube function.
48 <dt> <a href=
"ntrExtDet.html#Ntr_TestCofactorEstimate"><code>Ntr_TestCofactorEstimate()
</code></a>
49 <dd> Tests BDD cofactor estimate functions.
51 <dt> <a href=
"ntrExtDet.html#Ntr_TestDecomp"><code>Ntr_TestDecomp()
</code></a>
52 <dd> Tests BDD decomposition functions.
54 <dt> <a href=
"ntrExtDet.html#Ntr_TestDensity"><code>Ntr_TestDensity()
</code></a>
55 <dd> Tests BDD density-related functions.
57 <dt> <a href=
"ntrExtDet.html#Ntr_TestEquivAndContain"><code>Ntr_TestEquivAndContain()
</code></a>
58 <dd> Tests BDD equivalence and containment with don't cares.
60 <dt> <a href=
"ntrExtDet.html#Ntr_TestHeap"><code>Ntr_TestHeap()
</code></a>
61 <dd> Tests the heap property of a priority queue.
63 <dt> <a href=
"ntrExtDet.html#Ntr_TestMinimization"><code>Ntr_TestMinimization()
</code></a>
64 <dd> Tests BDD minimization functions.
66 <dt> <a href=
"ntrExtDet.html#Ntr_TransitiveClosure"><code>Ntr_TransitiveClosure()
</code></a>
67 <dd> Builds the transitive closure of a transition relation.
69 <dt> <a href=
"ntrExtDet.html#Ntr_Trav"><code>Ntr_Trav()
</code></a>
70 <dd> Poor man's traversal procedure.
72 <dt> <a href=
"ntrExtDet.html#Ntr_VerifyEquivalence"><code>Ntr_VerifyEquivalence()
</code></a>
73 <dd> Verify equivalence of combinational networks.
75 <dt> <a href=
"ntrExtDet.html#Ntr_buildDDs"><code>Ntr_buildDDs()
</code></a>
76 <dd> Builds DDs for a network outputs and next state functions.
78 <dt> <a href=
"ntrExtDet.html#Ntr_buildTR"><code>Ntr_buildTR()
</code></a>
79 <dd> Builds the transition relation for a network.
81 <dt> <a href=
"ntrExtDet.html#Ntr_cloneTR"><code>Ntr_cloneTR()
</code></a>
82 <dd> Makes a copy of a transition relation.
84 <dt> <a href=
"ntrExtDet.html#Ntr_freeTR"><code>Ntr_freeTR()
</code></a>
85 <dd> Frees the transition relation for a network.
87 <dt> <a href=
"ntrExtDet.html#Ntr_getStateCube"><code>Ntr_getStateCube()
</code></a>
88 <dd> Reads a state cube from a file or creates a random one.
90 <dt> <a href=
"ntrExtDet.html#Ntr_initState"><code>Ntr_initState()
</code></a>
91 <dd> Builds the BDD of the initial state(s).
93 <dt> <a href=
"ntrExtDet.html#Ntr_maxflow"><code>Ntr_maxflow()
</code></a>
94 <dd> Maximum
0-
1 flow between source and sink states.
96 <dt> <a href=
"ntrExtDet.html#Ntr_maximum01Flow"><code>Ntr_maximum01Flow()
</code></a>
99 <dt> <a href=
"ntrExtDet.html#Ntr_testISOP"><code>Ntr_testISOP()
</code></a>
100 <dd> Builds ZDD covers.
102 <dt> <a href=
"ntrExtDet.html#Ntr_testZDD"><code>Ntr_testZDD()
</code></a>
109 Generated automatically by
<code>extdoc
</code> on
1010215