abc/src/map/mapper/mapperUtils.c
/**Function*************************************************************

  Synopsis    [Resets the levels of the nodes in the choice graph.]

  Description [Makes the level of the choice nodes to be equal to the
  maximum of the level of the nodes in the equivalence class. This way
  sorting by level leads to the reverse topological order, which is
  needed for the required time computation.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Resets the levels of the nodes in the choice graph.]

Description [Makes the level of the choice nodes to be equal to the
maximum of the level of the nodes in the equivalence class. This way
sorting by level leads to the reverse topological order, which is
needed for the required time computation.]




Function Synopsis [ Resets the levels of the nodes in the choice graph . ] Description [ Makes the level of the choice nodes to be equal to the maximum of the level of the nodes in the equivalence class . This way sorting by level leads to the reverse topological order which is needed for the required time computation . ]
void Map_MappingSetChoiceLevels( Map_Man_t * pMan )
{
    int i;
    pMan->nTravIds++;
    for ( i = 0; i < pMan->nOutputs; i++ )
        Map_MappingUpdateLevel_rec( pMan, Map_Regular(pMan->pOutputs[i]), 1 );
}
void Map_MappingSetChoiceLevels ( Map_Man_t * pMan ) { int i ; pMan -> nTravIds ++ ; for ( i = 0 ; i < pMan -> nOutputs ; i ++ ) Map_MappingUpdateLevel_rec ( pMan , Map_Regular ( pMan -> pOutputs [ i ] ) , 1 ) ; }
Function
Synopsis    [Resets the levels of the nodes in the choice graph.]
Function Synopsis [ Resets the levels of the nodes in the choice graph . ]