#75 Document that cache cleanup doesn't consider saturation 'instance'.

Author: dhendriks

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

@@ -7195,6 +7195,8 @@ void BddCache_clean_itecache(BddCache cache) {
 
             boolean isInvalid = false;
 
+            // Cache cleanup doesn't consider the 'instance' fields of saturation cache entries. This means that cache
+            // cleanup assumes that the transition relation BDDs used for saturation are not garbage collected.
             switch (entry.e) {
                 case bddop_ite:
                 case bddop_relnext: