abc/src/bdd/extrab/extraBddTime.c
/**Function********************************************************************

  Synopsis    [Convert a {A,B}DD from a manager to another with variable remapping.]

  Description [Convert a {A,B}DD from a manager to another one. The orders of the
  variables in the two managers may be different. Returns a
  pointer to the {A,B}DD in the destination manager if successful; NULL
  otherwise. The i-th entry in the array Permute tells what is the index
  of the i-th variable from the old manager in the new manager.]

  SideEffects [None]

  SeeAlso     []

******************************************************************************/
Function
Synopsis    [Convert a {A,B}DD from a manager to another with variable remapping.]

Description [Convert a {A,B}DD from a manager to another one. The orders of the
variables in the two managers may be different. Returns a
pointer to the {A,B}DD in the destination manager if successful; NULL
otherwise. The i-th entry in the array Permute tells what is the index
of the i-th variable from the old manager in the new manager.]




Function Synopsis [ Convert a { A B } DD from a manager to another with variable remapping . ] Description [ Convert a { A B } DD from a manager to another one . The orders of the variables in the two managers may be different . Returns a pointer to the { A B } DD in the destination manager if successful ; NULL otherwise . The i - th entry in the array Permute tells what is the index of the i - th variable from the old manager in the new manager . ]
DdNode * Extra_TransferPermuteTime( DdManager * ddSource, DdManager * ddDestination, DdNode * f, int * Permute, int TimeOut )
{
    DdNode * bRes;
    do
    {
        ddDestination->reordered = 0;
        bRes = extraTransferPermuteTime( ddSource, ddDestination, f, Permute, TimeOut );
    }
    while ( ddDestination->reordered == 1 );
    return ( bRes );
}
DdNode * Extra_TransferPermuteTime ( DdManager * ddSource , DdManager * ddDestination , DdNode * f , int * Permute , int TimeOut ) { DdNode * bRes ; do { ddDestination -> reordered = 0 ; bRes = extraTransferPermuteTime ( ddSource , ddDestination , f , Permute , TimeOut ) ; } while ( ddDestination -> reordered == 1 ) ; return ( bRes ) ; }
Function
Synopsis    [Convert a {A,B}DD from a manager to another with variable remapping.]
Function Synopsis [ Convert a { A B } DD from a manager to another with variable remapping . ]