From 0ef98bf005febcb2df6f93b28db25fbd074b7105 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Sat, 20 Jan 2024 17:02:27 +0100
Subject: [PATCH] guard for IsCarrying formulae
---
util/PrismFormulaPrinter.cpp | 2 ++
1 file changed, 2 insertions(+)
diff --git a/util/PrismFormulaPrinter.cpp b/util/PrismFormulaPrinter.cpp
index bbb9a0c..df284f4 100644
--- a/util/PrismFormulaPrinter.cpp
+++ b/util/PrismFormulaPrinter.cpp
@@ -104,6 +104,8 @@ namespace prism {
if(conditionalMovementRestrictions.size() > 0) {
os << buildFormula(agentName + "CannotMoveConditionally", vectorToDisjunction(conditionalMovementRestrictions));
+ }
+ if(portableObjects.size() > 0) {
os << buildFormula(agentName + "IsCarrying", vectorToDisjunction(portableObjects));
}
}