From 6231d36a02d16e6c687b5a2f225c0fbd4c8aec2e Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 27 Jun 2022 18:29:25 +0200
Subject: [PATCH] support for GAME_ DEFINITIONS
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
src/main/java/de/tla2b/translation/BDefinitionsFinder.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
index bbbbe4c..2ea6fd3 100644
--- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
@@ -56,7 +56,8 @@ public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstan
if (defName.equals("GOAL") || defName.startsWith("ANIMATION_") || defName.startsWith("CUSTOM_GRAPH_")
|| defName.startsWith("ASSERT_CTL") || defName.startsWith("ASSERT_LTL")
|| defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")
- || defName.startsWith("VISB_JSON_FILE")
+ || defName.equals("VISB_JSON_FILE")
+ || defName.startsWith("GAME_") // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS
|| defName.startsWith("SCOPE") || defName.startsWith("scope_")) {
bDefinitionsSet.add(opDef);
}
--
GitLab