#67 Use BigInteger.valueOf.

dhendriks · dhendriks · commit d3a286215ba8 · 2024-09-25T15:44:11.000+02:00
diff --git a/src/main/java/com/github/javabdd/JFactory.java b/src/main/java/com/github/javabdd/JFactory.java
@@ -6354,7 +6354,7 @@ BigInteger satcount_rec(int root) {
         BddCacheDataBI entry;
 
         if (root < 2) {
-            return (root == 0) ? BigInteger.ZERO : BigInteger.ONE;
+            return BigInteger.valueOf(root);
         }
 
         entry = BddCache_lookupBI(countcache, SATCOUHASH(root));

Original file line number	Diff line number	Diff line change
`@@ -6354,7 +6354,7 @@ BigInteger satcount_rec(int root) {`
`6354`	`6354`	`BddCacheDataBI entry;`
`6355`	`6355`
`6356`	`6356`	`if (root < 2) {`
`6357`		`- return (root == 0) ? BigInteger.ZERO : BigInteger.ONE;`
	`6357`	`+ return BigInteger.valueOf(root);`
`6358`	`6358`	`}`
`6359`	`6359`
`6360`	`6360`	`entry = BddCache_lookupBI(countcache, SATCOUHASH(root));`