From 83560bfc731796d5a22c1d4368ed7adeac2a7f3b Mon Sep 17 00:00:00 2001 From: sp Date: Wed, 24 Jan 2024 15:18:57 +0100 Subject: [PATCH] fixed conditional movement w.r.t doors --- util/PrismModulesPrinter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp index 49d0425..fdbcd5c 100644 --- a/util/PrismModulesPrinter.cpp +++ b/util/PrismModulesPrinter.cpp @@ -250,7 +250,7 @@ namespace prism { if(anyLava) guard += " & !" + a + "IsOnLava"; if(anyGoals) guard += " & !" + a + "IsOnGoal"; guard += " & !" + a + "CannotMove" + direction + "Wall"; - if(anyPortableObject()) guard += " & !" + a + "CannotMoveConditionally"; + if(anyPortableObject() || !lockedDoors.empty() || !unlockedDoors.empty()) guard += " & !" + a + "CannotMoveConditionally"; guard += " -> "; return guard; }