From: John W. <joe...@us...> - 2004-10-12 20:40:29
|
Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv32721/org/sf/javabdd Modified Files: BDD.java Log Message: Index: BDD.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDD.java,v retrieving revision 1.36 retrieving revision 1.37 diff -C2 -d -r1.36 -r1.37 *** BDD.java 12 Aug 2004 23:26:03 -0000 1.36 --- BDD.java 12 Oct 2004 20:40:17 -0000 1.37 *************** *** 1141,1145 **** * occurred in the BDD.</p> * ! * <p>Compare to bdd_varprofile.</p> */ public abstract int[] varProfile(); --- 1141,1146 ---- * occurred in the BDD.</p> * ! * <p>Compare to bdd_varprofile.</p> ! */ public abstract int[] varProfile(); |