Searched refs:Abc_NtkPrintMffc (Results 1 – 2 of 2) sorted by relevance
1053 void Abc_NtkPrintMffc( FILE * pFile, Abc_Ntk_t * pNtk ) in Abc_NtkPrintMffc() function
1778 extern void Abc_NtkPrintMffc( FILE * pFile, Abc_Ntk_t * pNtk ); in Abc_CommandPrintMffc()1800 Abc_NtkPrintMffc( stdout, pNtk ); in Abc_CommandPrintMffc()