Searched refs:nMemTot (Results 1 – 1 of 1) sorted by relevance
187 double nMemTot = nMemSwp + nMemGia + nMemSat; in Gia_SweeperPrintStats() local190 ABC_PRMP( "Sweeper ", nMemSwp, nMemTot ); in Gia_SweeperPrintStats()191 ABC_PRMP( "AIG manager ", nMemGia, nMemTot ); in Gia_SweeperPrintStats()192 ABC_PRMP( "SAT solver ", nMemSat, nMemTot ); in Gia_SweeperPrintStats()193 ABC_PRMP( "TOTAL ", nMemTot, nMemTot ); in Gia_SweeperPrintStats()