Searched refs:Abc_NtkPrintSccs (Results 1 – 2 of 2) sorted by relevance
3986 void Abc_NtkPrintSccs( Abc_Ntk_t * pNtk, int fVerbose ) in Abc_NtkPrintSccs() function
1645 extern void Abc_NtkPrintSccs( Abc_Ntk_t * pNtk, int fVerbose ); in Abc_CommandPrintLatch()1672 Abc_NtkPrintSccs( pNtk, 0 ); in Abc_CommandPrintLatch()