ntr package abstract

Simple-minded package to do traversal.


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.

Generated automatically by extdoc on 1010215