[Javabdd-checkins] JavaBDD NQueens.java,1.16,1.17
Brought to you by:
joewhaley
From: John W. <joe...@us...> - 2005-04-19 08:51:09
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4600 Modified Files: NQueens.java Log Message: Print out cache stats if they are available. Index: NQueens.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/NQueens.java,v retrieving revision 1.16 retrieving revision 1.17 diff -C2 -d -r1.16 -r1.17 *** NQueens.java 19 Oct 2004 11:11:54 -0000 1.16 --- NQueens.java 19 Apr 2005 08:50:55 -0000 1.17 *************** *** 30,33 **** --- 30,37 ---- time = System.currentTimeMillis() - time; System.out.println("Time: "+time/1000.+" seconds"); + BDDFactory.CacheStats cachestats = B.getCacheStats(); + if (cachestats != null && cachestats.uniqueAccess > 0) { + System.out.println(cachestats); + } B.done(); B = null; |