Searched refs:Io_NtkWriteNets (Results 1 – 1 of 1) sorted by relevance
44 static void Io_NtkWriteNets( FILE * pFile, Abc_Ntk_t * pNtk );132 Io_NtkWriteNets( pFileNets, pNtk ); in Io_WriteBook()139 Io_NtkWriteNets( pFileNets, pNtk ); in Io_WriteBook()153 Io_NtkWriteNets( pFileNets, pNtkTemp ); in Io_WriteBook()403 void Io_NtkWriteNets( FILE * pFile, Abc_Ntk_t * pNtk ) in Io_NtkWriteNets() function