Add alternating for product of 3

RipplB · Apr 16, 2024 · 100f366 · 100f366
1 parent bdd55d8
commit 100f366
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/...ects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/multi/NextSideFunctions.java b/...ects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/multi/NextSideFunctions.java
@@ -24,4 +24,10 @@ public static <L extends State, R extends State, D extends State> MultiSourceSid
         return state.getSourceSide() == MultiSourceSide.LEFT ? MultiSourceSide.RIGHT : MultiSourceSide.LEFT;
     }
 
+    public static <L extends State, RL extends State, RR extends State, D extends State> MultiSourceSide alternating3(MultiState<L, MultiState<RL, RR, D>, D> state) {
+        return state.getSourceSide() == MultiSourceSide.RIGHT && state.getRightState().getSourceSide() == MultiSourceSide.RIGHT
+                ? MultiSourceSide.LEFT
+                : MultiSourceSide.RIGHT;
+    }
+
 }