#66 Changed name of saturation callback function

com-github-javabdd · Sep 26, 2024 · c3ec08f · c3ec08f
1 parent 46c9350
commit c3ec08f
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/src/main/java/com/github/javabdd/BDDFactory.java b/src/main/java/com/github/javabdd/BDDFactory.java
@@ -2193,7 +2193,7 @@ public static interface SaturationSimpleCallback {
          *
          * @param transition The index of the transition that was applied.
          */
-        public void accept(int transition);
+        public void invoke(int transition);
     }
 
     /**
@@ -2210,7 +2210,7 @@ public static interface SaturationDebugCallback<T> {
          * @param before The BDD to which the transition was applied.
          * @param after The resulting BDD after applying the transition.
          */
-        public void accept(int transition, T before, T after);
+        public void invoke(int transition, T before, T after);
     }
 
     /** The registered garbage collection statistics callbacks, or {@code null} if none registered. */

diff --git a/src/main/java/com/github/javabdd/BDDFactoryIntImpl.java b/src/main/java/com/github/javabdd/BDDFactoryIntImpl.java
@@ -136,15 +136,15 @@ public abstract class BDDFactoryIntImpl extends BDDFactory {
 
     @Override
     public void setSaturationCallback(SaturationSimpleCallback callback) {
-        setSaturationCallback_impl((transition, before, after) -> callback.accept(transition));
+        setSaturationCallback_impl((transition, before, after) -> callback.invoke(transition));
     }
 
     @Override
     public void setSaturationCallback(SaturationDebugCallback<BDD> callback) {
         setSaturationCallback_impl((transition, before, after) -> {
             BDD beforeBdd = makeBDD(before);
             BDD afterBdd = makeBDD(after);
-            callback.accept(transition, beforeBdd, afterBdd);
+            callback.invoke(transition, beforeBdd, afterBdd);
             beforeBdd.free();
             afterBdd.free();
         });

diff --git a/src/main/java/com/github/javabdd/JFactory.java b/src/main/java/com/github/javabdd/JFactory.java
@@ -4072,7 +4072,7 @@ int saturationForward_rec(int states, int[] relations, int[] vars, int instance,
                     PUSHREF(result);
                     int prevResult = result;
                     result = relnextUnion_rec(result, relations[i], result, vars[i]);
-                    saturationCallback.accept(i, prevResult, result);
+                    saturationCallback.invoke(i, prevResult, result);
                     POPREF(1);
                 }
 
@@ -4242,7 +4242,7 @@ int boundedSaturationForward_rec(int states, int bound, int[] relations, int[] v
                     PUSHREF(result);
                     int prevResult = result;
                     result = or_rec(PUSHREF(relnextIntersection_rec(result, relations[i], bound, vars[i])), result);
-                    saturationCallback.accept(i, prevResult, result);
+                    saturationCallback.invoke(i, prevResult, result);
                     POPREF(2);
                 }
 
@@ -4384,7 +4384,7 @@ int saturationBackward_rec(int states, int[] relations, int[] vars, int instance
                     PUSHREF(result);
                     int prevResult = result;
                     result = relprevUnion_rec(relations[i], result, result, vars[i]);
-                    saturationCallback.accept(i, prevResult, result);
+                    saturationCallback.invoke(i, prevResult, result);
                     POPREF(1);
                 }
 
@@ -4554,7 +4554,7 @@ int boundedSaturationBackward_rec(int states, int bound, int[] relations, int[]
                     PUSHREF(result);
                     int prevResult = result;
                     result = or_rec(PUSHREF(relprevIntersection_rec(relations[i], result, bound, vars[i])), result);
-                    saturationCallback.accept(i, prevResult, result);
+                    saturationCallback.invoke(i, prevResult, result);
                     POPREF(2);
                 }