# ntr package abstract (Internal)

##

`Ntr_ClosureTrav()`
  Transitive closure traversal procedure.
`Ntr_Envelope()`
  Poor man's outer envelope computation.
`Ntr_FreeHeap()`
  Frees a priority queue.
`Ntr_HeapClone()`
  Clones a priority queue.
`Ntr_HeapCount()`
  Returns the number of items in a priority queue.
`Ntr_HeapExtractMin()`
  Extracts the element with the minimum key from a priority queue.
`Ntr_HeapInsert()`
  Inserts an item in a priority queue.
`Ntr_InitHeap()`
  Initializes a priority queue.
`Ntr_SCC()`
  Computes the SCCs of the STG.
`Ntr_ShortestPaths()`
  Computes shortest paths in a state graph.
`Ntr_TestClipping()`
  Tests BDD clipping functions.
`Ntr_TestClosestCube()`
  Tests the Cudd_bddClosestCube function.
`Ntr_TestCofactorEstimate()`
  Tests BDD cofactor estimate functions.
`Ntr_TestDecomp()`
  Tests BDD decomposition functions.
`Ntr_TestDensity()`
  Tests BDD density-related functions.
`Ntr_TestEquivAndContain()`
  Tests BDD equivalence and containment with don't cares.
`Ntr_TestHeap()`
  Tests the heap property of a priority queue.
`Ntr_TestMinimization()`
  Tests BDD minimization functions.
`Ntr_TransitiveClosure()`
  Builds the transitive closure of a transition relation.
`Ntr_Trav()`
  Poor man's traversal procedure.
`Ntr_VerifyEquivalence()`
  Verify equivalence of combinational networks.
`Ntr_buildDDs()`
  Builds DDs for a network outputs and next state functions.
`Ntr_buildTR()`
  Builds the transition relation for a network.
`Ntr_cloneTR()`
  Makes a copy of a transition relation.
`Ntr_freeTR()`
  Frees the transition relation for a network.
`Ntr_getStateCube()`
  Reads a state cube from a file or creates a random one.
`Ntr_initState()`
  Builds the BDD of the initial state(s).
`Ntr_maxflow()`
  Maximum 0-1 flow between source and sink states.
`Ntr_maximum01Flow()`
`Ntr_testISOP()`
  Builds ZDD covers.
`Ntr_testZDD()`
  Tests ZDDs.
`STRING_EQUAL()`
  Returns 1 if the two arguments are identical strings.

Generated automatically by `extdoc` on 1010215