Merge pull request #11 from dhendriks/3-remove_unused_functionality

#3 Removed MicroFactory/UberMicroFactory/TypedBDDFactory/TestBDDFactory.

Author: dhendriks

CHANGES.md

@@ -11,6 +11,7 @@ All notable changes to this project will be documented in this file.
 * Cache statistics are now measured using `longs` rather than `ints` to reduce integer overflow issues.
 * Added `opAccess` statistic to cache statistics.
 * Added functionality to reset statistics.
+* Removed `MicroFactory`, `UberMicroFactory`, `TypedBDDFactory` and `TestBDDFactory`.
 
 ## [1.0.1] - 2020-03-17
 * Updated SCM URL for proper Maven Central metadata.

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

@@ -71,14 +71,6 @@ public static BDDFactory init(String bddpackage, int nodenum, int cachesize)
     try {
      if (bddpackage.equals("j") || bddpackage.equals("java")) {
 	return JFactory.init(nodenum, cachesize);
-      } else if (bddpackage.equals("u")) {
-	return UberMicroFactory.init(nodenum, cachesize);
-      } else if (bddpackage.equals("micro")) {
-	return MicroFactory.init(nodenum, cachesize);
-      } else if (bddpackage.equals("test")) {
-	return TestBDDFactory.init(nodenum, cachesize);
-      } else if (bddpackage.equals("typed")) {
-	return TypedBDDFactory.init(nodenum, cachesize);
       } else if (bddpackage.equals("zdd")) {
 	BDDFactory bdd = JFactory.init(nodenum, cachesize);
 	((JFactory)bdd).ZDD = true;