Searched refs:Abc_NtkPrintFanioNew (Results 1 – 3 of 3) sorted by relevance
894 void Abc_NtkPrintFanioNew( FILE * pFile, Abc_Ntk_t * pNtk, int fMffc ) in Abc_NtkPrintFanioNew() function
1740 Abc_NtkPrintFanioNew( stdout, pNtk, fMffc ); in Abc_CommandPrintFanio()
837 extern ABC_DLL void Abc_NtkPrintFanioNew( FILE * pFile, Abc_Ntk_t * pNtk, int fMffc );