Searched refs:Gia_ManLevelAve (Results 1 – 2 of 2) sorted by relevance
489 extern float Gia_ManLevelAve( Gia_Man_t * p ); in Gia_ManPrintStats()526 Abc_Print( 1, " (%.2f)", Gia_ManLevelAve(p) ); in Gia_ManPrintStats()537 Abc_Print( 1, " (%.2f)", Gia_ManLevelAve(p) ); in Gia_ManPrintStats()543 Abc_Print( 1, " %s(%.2f)%s", "\033[1;35m", Gia_ManLevelAve(p), "\033[0m" ); in Gia_ManPrintStats()
525 float Gia_ManLevelAve( Gia_Man_t * p ) in Gia_ManLevelAve() function