[Javabdd-checkins] JavaBDD/org/sf/javabdd BDD.java,1.29,1.30

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

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

Modified Files:
	BDD.java 
Log Message:
Fix Javadoc

Index: BDD.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDD.java,v
retrieving revision 1.29
retrieving revision 1.30
diff -C2 -d -r1.29 -r1.30
*** BDD.java	28 Apr 2004 17:41:56 -0000	1.29
--- BDD.java	24 Jul 2004 01:15:35 -0000	1.30
***************
*** 864,872 ****
      
      /**
!      * <p>Calculates the log. number of satisfying variable assignments.</p>
       * 
       * <p>Compare to bdd_satcount.</p>
       * 
!      * @return the log. number of satisfying variable assignments
       */
      public double logSatCount() {
--- 864,872 ----
      
      /**
!      * <p>Calculates the logarithm of the number of satisfying variable assignments.</p>
       * 
       * <p>Compare to bdd_satcount.</p>
       * 
!      * @return the logarithm of the number of satisfying variable assignments
       */
      public double logSatCount() {
***************
*** 875,884 ****
      
      /**
!      * <p>Calculates the log. number of satisfying variable assignments to the
       * variables in the given varset.</p>
       * 
       * <p>Compare to bdd_satcountset.</p>
       * 
!      * @return the log. number of satisfying variable assignments
       */
      public double logSatCount(BDD varset) {
--- 875,884 ----
      
      /**
!      * <p>Calculates the logarithm of the number of satisfying variable assignments to the
       * variables in the given varset.</p>
       * 
       * <p>Compare to bdd_satcountset.</p>
       * 
!      * @return the logarithm of the number of satisfying variable assignments
       */
      public double logSatCount(BDD varset) {