From 7bb992200f0df4324d849159ed0e35de10972ac0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sebastian=20B=C3=B6ckelmann?= <uqpko@student.kit.edu>
Date: Tue, 19 Mar 2024 15:05:35 +0100
Subject: [PATCH] Consider Transition Conditions and Transition Actions while
 generating ProductTransitions

---
 .../gamesystems/ProductGamesystem.ts          | 89 ++++++++++++++++++-
 .../actions/ScriptAccountAction.ts            | 10 +++
 .../conditions/ScriptAccountCondition.ts      |  9 ++
 3 files changed, 105 insertions(+), 3 deletions(-)

diff --git a/src/app/game-model/gamesystems/ProductGamesystem.ts b/src/app/game-model/gamesystems/ProductGamesystem.ts
index efdadf4..087e019 100644
--- a/src/app/game-model/gamesystems/ProductGamesystem.ts
+++ b/src/app/game-model/gamesystems/ProductGamesystem.ts
@@ -8,6 +8,7 @@ import {SimpleGamesystem} from "./SimpleGamesystem";
 import {GameModel} from "../GameModel";
 import {ProductStateTrainer} from "../../../../e2e/game-model/gamesystems/productGamesystems/ProductStateTrainer";
 import {ScriptAccountCondition} from "./conditions/ScriptAccountCondition";
+import {ScriptAccountAction} from "./actions/ScriptAccountAction";
 
 export class ProductGamesystem extends Gamesystem<ProductState, ProductTransition> {
 
@@ -104,18 +105,36 @@ export class ProductGamesystem extends Gamesystem<ProductState, ProductTransitio
             if(startingState != undefined) {
               const endingState_right = productGamesystem.generateBinaryProductState(leftState, rightState.outgoingTransitions[j].endingState, left_temp);
               if(endingState_right != undefined) {
-                const transition_right = productGamesystem.createTransition(startingState, endingState_right)!;
+                const transition_right = productGamesystem.createTransition(startingState, endingState_right);
+                if(transition_right != undefined) {
+                  transition_right.scriptAccountActions = [...rightState.outgoingTransitions[j].scriptAccountActions]
+                  transition_right.scriptAccountConditions = [... rightState.outgoingTransitions[j].scriptAccountConditions]
+                }
               }
 
               const endingState_left = productGamesystem.generateBinaryProductState(leftState.outgoingTransitions[i].endingState, rightState, left_temp);
               if(endingState_left != undefined) {
-                const transition_left = productGamesystem.createTransition(startingState, endingState_left)!;
+                const transition_left = productGamesystem.createTransition(startingState, endingState_left);
+                if(transition_left != undefined) {
+                  transition_left.scriptAccountActions = [... leftState.outgoingTransitions[i].scriptAccountActions]
+                  transition_left.scriptAccountConditions = [...leftState.outgoingTransitions[i].scriptAccountConditions]
+                }
               }
 
 
               const endingState_left_right = productGamesystem.generateBinaryProductState(leftState.outgoingTransitions[i].endingState, rightState.outgoingTransitions[j].endingState, left_temp);
               if(endingState_left_right != undefined) {
-                const transition_left_right = productGamesystem.createTransition(startingState, endingState_left_right)!;
+                const leftConditions = leftState.outgoingTransitions[i].scriptAccountConditions;
+                const rightConditions = rightState.outgoingTransitions[j].scriptAccountConditions;
+                if(!this.contradictCombinedConditions(leftConditions, rightConditions)) {
+                  const transition_left_right = productGamesystem.createTransition(startingState, endingState_left_right)!;
+
+                  if(transition_left_right != undefined) {
+                    transition_left_right.scriptAccountActions = this.generateCombinedActions(leftState.outgoingTransitions[i].scriptAccountActions, rightState.outgoingTransitions[j].scriptAccountActions)
+                    transition_left_right.scriptAccountConditions = this.generateCombinedConditions(leftState.outgoingTransitions[i].scriptAccountConditions, rightState.outgoingTransitions[j].scriptAccountConditions)
+                  }
+                }
+
               }
             }
 
@@ -127,6 +146,10 @@ export class ProductGamesystem extends Gamesystem<ProductState, ProductTransitio
 
             if(startingState != undefined && endingState != undefined) {
               const transition = productGamesystem.createTransition(startingState, endingState);
+              if(transition != undefined) {
+                transition.scriptAccountActions = [... leftState.outgoingTransitions[i].scriptAccountActions]
+                transition.scriptAccountConditions = [...leftState.outgoingTransitions[i].scriptAccountConditions]
+              }
             }
           }
         }
@@ -138,6 +161,10 @@ export class ProductGamesystem extends Gamesystem<ProductState, ProductTransitio
 
             if(startingState != undefined && endingState != undefined) {
               const transition = productGamesystem.createTransition(startingState, endingState);
+              if(transition != undefined) {
+                transition.scriptAccountActions = [... rightState.outgoingTransitions[j].scriptAccountActions]
+                transition.scriptAccountConditions = [...rightState.outgoingTransitions[j].scriptAccountConditions]
+              }
             }
 
           }
@@ -149,6 +176,60 @@ export class ProductGamesystem extends Gamesystem<ProductState, ProductTransitio
     return productGamesystem;
   }
 
+  private static generateCombinedActions(leftActions: ScriptAccountAction[], rightActions: ScriptAccountAction[]) {
+    const combinedActions: ScriptAccountAction[] = []
+    for(let i=0; i<leftActions.length; i++) {
+      for(let j=0; j<rightActions.length; j++) {
+        const combinedAction = leftActions[i].combineActions(rightActions[j])
+        if(combinedAction == undefined) {
+          if(!combinedActions.includes(leftActions[i])) {
+            combinedActions.push(leftActions[i])
+          }
+
+          if(!combinedActions.includes(rightActions[j])) {
+            combinedActions.push(rightActions[j])
+          }
+        } else {
+
+          combinedActions.push(combinedAction)
+        }
+      }
+    }
+    return combinedActions;
+  }
+
+  private static generateCombinedConditions(leftConditions: ScriptAccountCondition[], rightConditions: ScriptAccountCondition[]) {
+    const combinedConditions: ScriptAccountCondition[] = [];
+    for(let i=0; i<leftConditions.length; i++) {
+      for(let j=0; j<rightConditions.length; j++) {
+        const combinedCondition = leftConditions[i].combineCondition(rightConditions[j]);
+        if(combinedCondition == undefined) {
+          if(!combinedConditions.includes(leftConditions[i])) {
+            combinedConditions.push(leftConditions[i])
+          }
+
+          if(!combinedConditions.includes(rightConditions[j])) {
+            combinedConditions.push(rightConditions[j])
+          }
+        } else {
+          combinedConditions.push(combinedCondition)
+        }
+      }
+    }
+    return combinedConditions;
+  }
+
+  private static contradictCombinedConditions(leftConditions: ScriptAccountCondition[], rightConditions: ScriptAccountCondition[]): boolean {
+    for(let i=0; i<leftConditions.length; i++) {
+      for(let j=0; j<rightConditions.length; j++) {
+        if(leftConditions[i].isContradicting(rightConditions[j])) {
+          return true;
+        }
+      }
+    }
+    return false;
+  }
+
   generateBinaryProductState(leftInnerState: State<any>, rightInnerState: State<any>, left_temp: boolean) {
     const combinedStateConditions: ScriptAccountCondition[] = leftInnerState.conditions.concat(rightInnerState.conditions)
     for(let i=0; i<combinedStateConditions.length; i++) {
@@ -215,4 +296,6 @@ export class ProductGamesystem extends Gamesystem<ProductState, ProductTransitio
   private existsState(state: ProductState) {
     return this.states.find(s => s.equals(state)) != undefined;
   }
+
+
 }
diff --git a/src/app/game-model/gamesystems/actions/ScriptAccountAction.ts b/src/app/game-model/gamesystems/actions/ScriptAccountAction.ts
index d258760..f2d88f6 100644
--- a/src/app/game-model/gamesystems/actions/ScriptAccountAction.ts
+++ b/src/app/game-model/gamesystems/actions/ScriptAccountAction.ts
@@ -1,4 +1,5 @@
 import {ScriptAccount} from "../../scriptAccounts/ScriptAccount";
+import {ScriptAccountCondition} from "../conditions/ScriptAccountCondition";
 
 export class ScriptAccountAction {
   scriptAccount: ScriptAccount
@@ -9,4 +10,13 @@ export class ScriptAccountAction {
     this.scriptAccount = scriptAccount;
     this.changingValue = changingValue;
   }
+
+
+  combineActions(otherAction: ScriptAccountAction) {
+    if(otherAction.scriptAccount === this.scriptAccount) {
+      return new ScriptAccountAction(this.scriptAccount, this.changingValue + otherAction.changingValue)
+    } else {
+      return undefined;
+    }
+  }
 }
diff --git a/src/app/game-model/gamesystems/conditions/ScriptAccountCondition.ts b/src/app/game-model/gamesystems/conditions/ScriptAccountCondition.ts
index 5592421..566bfb0 100644
--- a/src/app/game-model/gamesystems/conditions/ScriptAccountCondition.ts
+++ b/src/app/game-model/gamesystems/conditions/ScriptAccountCondition.ts
@@ -23,6 +23,15 @@ export class ScriptAccountCondition {
     }
   }
 
+  combineCondition(condition: ScriptAccountCondition) {
+    if(condition.scriptAccount === this.scriptAccount) {
+      const scriptAccount = new ScriptAccountCondition(this.scriptAccount, this.minValue, this.maxValue);
+      scriptAccount.combineCondition(condition);
+      return scriptAccount;
+    }
+    return undefined;
+  }
+
   isContradicting(condition: ScriptAccountCondition) {
     return condition.scriptAccount === this.scriptAccount &&
       (this.maxValue < condition.minValue || this.minValue > condition.maxValue)