/**Function************************************************************* Synopsis [Testing the above code.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ void Abc_NtkMiniAigTest( Abc_Ntk_t * pNtk ) { Abc_Ntk_t * pNtkNew; Mini_Aig_t * p; p = Abc_NtkToMiniAig( pNtk ); pNtkNew = Abc_NtkFromMiniAig( p ); Mini_AigStop( p ); Abc_NtkPrintStats( pNtkNew, 0, 0, 0, 0, 0, 0, 0, 0, 0 ); Abc_NtkDelete( pNtkNew ); // test dumping p = Abc_NtkToMiniAig( pNtk ); Mini_AigDump( p, "miniaig.data" ); Mini_AigPrintStats( p ); Mini_AigStop( p ); p = Mini_AigLoad( "miniaig.data" ); Mini_AigPrintStats( p ); Mini_AigStop( p ); }
void Gia_ManWriteMiniAig( Gia_Man_t * pGia, char * pFileName ) { Mini_Aig_t * p = Gia_ManToMiniAig( pGia ); Mini_AigDump( p, pFileName ); Mini_AigStop( p ); }