/**Function************************************************************* Synopsis [Removes library binding of all currently stored networks.] Description [This procedure is called when the library is freed.] SideEffects [] SeeAlso [] ***********************************************************************/ 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 [Minimizes SOP representations using Espresso.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ void Abc_NtkEspresso( Abc_Ntk_t * pNtk, int fVerbose ) { Abc_Obj_t * pNode; int i; assert( Abc_NtkIsLogic(pNtk) ); // convert the network to have SOPs if ( Abc_NtkHasMapping(pNtk) ) Abc_NtkMapToSop(pNtk); else if ( Abc_NtkHasBdd(pNtk) ) { if ( !Abc_NtkBddToSop(pNtk, -1, ABC_INFINITY) ) { printf( "Abc_NtkEspresso(): Converting to SOPs has failed.\n" ); return; } } // minimize SOPs of all nodes Abc_NtkForEachNode( pNtk, pNode, i ) if ( i ) Abc_NodeEspresso( pNode ); }