From 4c350b3e2df02e4f8da58b2c0c364abad725b32d Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 10 Jun 2021 09:47:52 -0700
Subject: [PATCH] print predicate expressions added

---
 src/storm/storage/expressions/PredicateExpression.cpp | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/storm/storage/expressions/PredicateExpression.cpp b/src/storm/storage/expressions/PredicateExpression.cpp
index 357a0cb17..73b9a9e2e 100644
--- a/src/storm/storage/expressions/PredicateExpression.cpp
+++ b/src/storm/storage/expressions/PredicateExpression.cpp
@@ -94,7 +94,16 @@ namespace storm {
         }
 
         void PredicateExpression::printToStream(std::ostream& stream) const {
-
+            switch (this->getPredicateType()) {
+                case PredicateExpression::PredicateType::AtMostOneOf: stream << "atMostOneOf(";
+                case PredicateExpression::PredicateType::AtLeastOneOf: stream << "atLeastOneOf(";
+                case PredicateExpression::PredicateType::ExactlyOneOf: stream << "exactlyOneOf(";
+            }
+            stream << *operands[0];
+            for (uint64_t i = 1; i < operands.size(); i++) {
+                stream << ", " << *operands[i];
+            }
+            stream << ")";
         }
     }
 }
\ No newline at end of file