From af2ee862e650dbefb5e0152bcf0485a71c3ee4a4 Mon Sep 17 00:00:00 2001 From: sp Date: Thu, 18 Jan 2024 21:13:07 +0100 Subject: [PATCH] objects are initially not picked up --- util/PrismFormulaPrinter.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/util/PrismFormulaPrinter.cpp b/util/PrismFormulaPrinter.cpp index c8bc460..e50b2f4 100644 --- a/util/PrismFormulaPrinter.cpp +++ b/util/PrismFormulaPrinter.cpp @@ -194,15 +194,15 @@ namespace prism { } for(auto const ball : balls) { std::string identifier = capitalize(ball.getColor()) + ball.getType(); - os << " & (col"+identifier+"="+std::to_string(ball.column)+"&row"+identifier+"="+std::to_string(ball.row)+") "; + os << " & (col"+identifier+"="+std::to_string(ball.column)+"&row"+identifier+"="+std::to_string(ball.row)+"&"+identifier+"PickedUp=false) "; } for(auto const key : keys) { std::string identifier = capitalize(key.getColor()) + key.getType(); - os << " & (col"+identifier+"="+std::to_string(key.column)+"&row"+identifier+"="+std::to_string(key.row)+") "; + os << " & (col"+identifier+"="+std::to_string(key.column)+"&row"+identifier+"="+std::to_string(key.row)+"&"+identifier+"PickedUp=false) "; } for(auto const box : boxes) { std::string identifier = capitalize(box.getColor()) + box.getType(); - os << " & (col"+identifier+"="+std::to_string(box.column)+"&row"+identifier+"="+std::to_string(box.row)+") "; + os << " & (col"+identifier+"="+std::to_string(box.column)+"&row"+identifier+"="+std::to_string(box.row)+"&"+identifier+"PickedUp=false) "; } os << "endinit\n\n"; }