distr/nanotrav/doc/ntrAllAbs.html

   1 <html>
   2 <head><title>ntr package abstract (Internal)</title></head>
   3 <body>
   4
   5 <h1>ntr package abstract (Internal)</h1>
   6 <h2></h2>
   7 <hr>
   8
   9 <!-- Function Abstracts -->
  10
  11 <dl>
  12 <dt> <a href="ntrAllDet.html#Ntr_ClosureTrav"><code>Ntr_ClosureTrav()</code></a>
  13 <dd> Transitive closure traversal procedure.
  14
  15 <dt> <a href="ntrAllDet.html#Ntr_Envelope"><code>Ntr_Envelope()</code></a>
  16 <dd> Poor man's outer envelope computation.
  17
  18 <dt> <a href="ntrAllDet.html#Ntr_FreeHeap"><code>Ntr_FreeHeap()</code></a>
  19 <dd> Frees a priority queue.
  20
  21 <dt> <a href="ntrAllDet.html#Ntr_HeapClone"><code>Ntr_HeapClone()</code></a>
  22 <dd> Clones a priority queue.
  23
  24 <dt> <a href="ntrAllDet.html#Ntr_HeapCount"><code>Ntr_HeapCount()</code></a>
  25 <dd> Returns the number of items in a priority queue.
  26
  27 <dt> <a href="ntrAllDet.html#Ntr_HeapExtractMin"><code>Ntr_HeapExtractMin()</code></a>
  28 <dd> Extracts the element with the minimum key from a priority queue.
  29
  30 <dt> <a href="ntrAllDet.html#Ntr_HeapInsert"><code>Ntr_HeapInsert()</code></a>
  31 <dd> Inserts an item in a priority queue.
  32
  33 <dt> <a href="ntrAllDet.html#Ntr_InitHeap"><code>Ntr_InitHeap()</code></a>
  34 <dd> Initializes a priority queue.
  35
  36 <dt> <a href="ntrAllDet.html#Ntr_SCC"><code>Ntr_SCC()</code></a>
  37 <dd> Computes the SCCs of the STG.
  38
  39 <dt> <a href="ntrAllDet.html#Ntr_ShortestPaths"><code>Ntr_ShortestPaths()</code></a>
  40 <dd> Computes shortest paths in a state graph.
  41
  42 <dt> <a href="ntrAllDet.html#Ntr_TestClipping"><code>Ntr_TestClipping()</code></a>
  43 <dd> Tests BDD clipping functions.
  44
  45 <dt> <a href="ntrAllDet.html#Ntr_TestClosestCube"><code>Ntr_TestClosestCube()</code></a>
  46 <dd> Tests the Cudd_bddClosestCube function.
  47
  48 <dt> <a href="ntrAllDet.html#Ntr_TestCofactorEstimate"><code>Ntr_TestCofactorEstimate()</code></a>
  49 <dd> Tests BDD cofactor estimate functions.
  50
  51 <dt> <a href="ntrAllDet.html#Ntr_TestDecomp"><code>Ntr_TestDecomp()</code></a>
  52 <dd> Tests BDD decomposition functions.
  53
  54 <dt> <a href="ntrAllDet.html#Ntr_TestDensity"><code>Ntr_TestDensity()</code></a>
  55 <dd> Tests BDD density-related functions.
  56
  57 <dt> <a href="ntrAllDet.html#Ntr_TestEquivAndContain"><code>Ntr_TestEquivAndContain()</code></a>
  58 <dd> Tests BDD equivalence and containment with don't cares.
  59
  60 <dt> <a href="ntrAllDet.html#Ntr_TestHeap"><code>Ntr_TestHeap()</code></a>
  61 <dd> Tests the heap property of a priority queue.
  62
  63 <dt> <a href="ntrAllDet.html#Ntr_TestMinimization"><code>Ntr_TestMinimization()</code></a>
  64 <dd> Tests BDD minimization functions.
  65
  66 <dt> <a href="ntrAllDet.html#Ntr_TransitiveClosure"><code>Ntr_TransitiveClosure()</code></a>
  67 <dd> Builds the transitive closure of a transition relation.
  68
  69 <dt> <a href="ntrAllDet.html#Ntr_Trav"><code>Ntr_Trav()</code></a>
  70 <dd> Poor man's traversal procedure.
  71
  72 <dt> <a href="ntrAllDet.html#Ntr_VerifyEquivalence"><code>Ntr_VerifyEquivalence()</code></a>
  73 <dd> Verify equivalence of combinational networks.
  74
  75 <dt> <a href="ntrAllDet.html#Ntr_buildDDs"><code>Ntr_buildDDs()</code></a>
  76 <dd> Builds DDs for a network outputs and next state functions.
  77
  78 <dt> <a href="ntrAllDet.html#Ntr_buildTR"><code>Ntr_buildTR()</code></a>
  79 <dd> Builds the transition relation for a network.
  80
  81 <dt> <a href="ntrAllDet.html#Ntr_cloneTR"><code>Ntr_cloneTR()</code></a>
  82 <dd> Makes a copy of a transition relation.
  83
  84 <dt> <a href="ntrAllDet.html#Ntr_freeTR"><code>Ntr_freeTR()</code></a>
  85 <dd> Frees the transition relation for a network.
  86
  87 <dt> <a href="ntrAllDet.html#Ntr_getStateCube"><code>Ntr_getStateCube()</code></a>
  88 <dd> Reads a state cube from a file or creates a random one.
  89
  90 <dt> <a href="ntrAllDet.html#Ntr_initState"><code>Ntr_initState()</code></a>
  91 <dd> Builds the BDD of the initial state(s).
  92
  93 <dt> <a href="ntrAllDet.html#Ntr_maxflow"><code>Ntr_maxflow()</code></a>
  94 <dd> Maximum 0-1 flow between source and sink states.
  95
  96 <dt> <a href="ntrAllDet.html#Ntr_maximum01Flow"><code>Ntr_maximum01Flow()</code></a>
  97 <dd>
  98
  99 <dt> <a href="ntrAllDet.html#Ntr_testISOP"><code>Ntr_testISOP()</code></a>
 100 <dd> Builds ZDD covers.
 101
 102 <dt> <a href="ntrAllDet.html#Ntr_testZDD"><code>Ntr_testZDD()</code></a>
 103 <dd> Tests ZDDs.
 104
 105 <dt> <a href="ntrAllDet.html#STRING_EQUAL"><code>STRING_EQUAL()</code></a>
 106 <dd> Returns 1 if the two arguments are identical strings.
 107
 108 </dl>
 109
 110 <hr>
 111
 112 Generated automatically by <code>extdoc</code> on 1010215
 113
 114 </body></html>