Searched refs:Wlc_NtkPrintStats (Results 1 – 3 of 3) sorted by relevance
424 extern void Wlc_NtkPrintStats( Wlc_Ntk_t * p, int fDistrib, int fTwoSides, int fVerbose );
361 Wlc_NtkPrintStats( pNtk, fDistrib, fTwoSides, fVerbose ); in Abc_CommandPs()
783 void Wlc_NtkPrintStats( Wlc_Ntk_t * p, int fDistrib, int fTwoSides, int fVerbose ) in Wlc_NtkPrintStats() function