[Javabdd-checkins] JavaBDD/net/sf/javabdd BuDDyFactory.java,1.11,1.12

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/net/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5392/net/sf/javabdd

Modified Files:
	BuDDyFactory.java 
Log Message:
Changed return type of allsat().

Index: BuDDyFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BuDDyFactory.java,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** BuDDyFactory.java	4 May 2005 22:31:35 -0000	1.11
--- BuDDyFactory.java	21 May 2005 08:46:59 -0000	1.12
***************
*** 884,895 ****
          
          /* (non-Javadoc)
-          * @see net.sf.javabdd.BDD#allsat()
-          */
-         public List allsat() {
-             return Arrays.asList(allsat0(_id));
-         }
-         private static native byte[][] allsat0(int b);
-         
-         /* (non-Javadoc)
           * @see net.sf.javabdd.BDD#printSet()
           */
--- 884,887 ----