From c11e85e191d4bebebc33064bf3c95d86d47d774b Mon Sep 17 00:00:00 2001 From: sp Date: Tue, 16 Jul 2024 15:54:10 +0200 Subject: [PATCH] adversaries are allowed to move on goal --- util/PrismModulesPrinter.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp index 97cecdc..fdd8df2 100644 --- a/util/PrismModulesPrinter.cpp +++ b/util/PrismModulesPrinter.cpp @@ -247,9 +247,9 @@ namespace prism { std::string actionName = "[" + a + "_move_" + direction + "]"; agentNameActionMap.at(a).insert({FORWARD, actionName}); std::string guard = " " + actionName + " " + viewVariable(a, viewDirection); - if(slipperyBehaviour()) guard += " & !" + a + "IsOnSlippery"; - if(anyLava) guard += " & !" + a + "IsOnLava"; - if(anyGoals) guard += " & !" + a + "IsOnGoal"; + if(slipperyBehaviour()) guard += " & !" + a + "IsOnSlippery"; + if(anyLava) guard += " & !" + a + "IsOnLava"; + if(anyGoals && a == "Agent") guard += " & !" + a + "IsOnGoal"; guard += " & !" + a + "CannotMove" + direction + "Wall"; if(anyPortableObject() || !lockedDoors.empty() || !unlockedDoors.empty()) guard += " & !" + a + "CannotMoveConditionally"; guard += " -> ";