abc/src/base/main/mainFrame.c
/**Function*************************************************************

  Synopsis    [Removes library binding of all currently stored networks.]

  Description [This procedure is called when the library is freed.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Removes library binding of all currently stored networks.]

Description [This procedure is called when the library is freed.]




Function Synopsis [ Removes library binding of all currently stored networks . ] Description [ This procedure is called when the library is freed . ]
void Abc_FrameUnmapAllNetworks( Abc_Frame_t * p )
{
    Abc_Ntk_t * pNtk;
    for ( pNtk = p->pNtkCur; pNtk; pNtk = Abc_NtkBackup(pNtk) )
        if ( Abc_NtkHasMapping(pNtk) )
            Abc_NtkMapToSop( pNtk );
}
void Abc_FrameUnmapAllNetworks ( Abc_Frame_t * p ) { Abc_Ntk_t * pNtk ; for ( pNtk = p -> pNtkCur ; pNtk ; pNtk = Abc_NtkBackup ( pNtk ) ) if ( Abc_NtkHasMapping ( pNtk ) ) Abc_NtkMapToSop ( pNtk ) ; }
Function
Synopsis    [Removes library binding of all currently stored networks.]
Function Synopsis [ Removes library binding of all currently stored networks . ]