Fixing javadoc syntax errors.

Author: dhendriks

src/main/java/com/github/javabdd/BDD.java

@@ -14,7 +14,7 @@
 /**
  * <p>Binary Decision Diagrams (BDDs) are used for efficient computation of many
  * common problems. This is done by giving a compact representation and a set of
- * efficient operations on boolean functions f: {0,1}^n --> {0,1}.</p>
+ * efficient operations on boolean functions f: {0,1}^n --&gt; {0,1}.</p>
  * 
  * <p>Use an implementation of BDDFactory to create BDD objects.</p>
  *

src/main/java/com/github/javabdd/BDDFactory.java

@@ -240,7 +240,7 @@ public BDD buildCube(int value, List/*<BDD>*/ variables) {
     /**
      * <p>Build a cube from an array of variables.</p>
      * 
-     * <p>Compare to bdd_ibuildcube./p>
+     * <p>Compare to bdd_ibuildcube.</p>
      */
     public BDD buildCube(int value, int[] variables) {
         BDD result = universe();
@@ -921,7 +921,7 @@ public String toString() {
      * of variable indices and the new variable order is exactly this sequence.
      * The array must contain all the variables defined so far.  If, for
      * instance the current number of variables is 3 and neworder contains
-     * [1; 0; 2] then the new variable order is v1<v0<v2.</p>
+     * [1; 0; 2] then the new variable order is v1 &lt; v0 &lt; v2.</p>
      * 
      * <p>Note that this operation must walk through the node table many times,
      * and therefore it is much more efficient to call this when the node table

src/main/java/com/github/javabdd/BDDVarSet.java

@@ -113,7 +113,7 @@ public BDDDomain[] getDomains() {
      * and the given variable.  This constructs a new set; the current BDDVarSet
      * is not modified.</p>
      * 
-     * @param b  variable to add to set
+     * @param var  variable to add to set
      * @return  a new BDDVarSet that includes the given variable
      */
     public abstract BDDVarSet union(int var);
@@ -131,7 +131,7 @@ public BDDDomain[] getDomains() {
      * <p>Modifies this BDDVarSet to include the given variable.  This modifies
      * the current set in place.</p>
      * 
-     * @param b  variable to add to set
+     * @param var  variable to add to set
      * @return this
      */
     public abstract BDDVarSet unionWith(int var);