Browse Source
Update src/storm/storage/expressions/PredicateExpression.cpp
Co-authored-by: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
tempestpy_adaptions
Sebastian Junges
3 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with
6 additions and
4 deletions
-
src/storm/storage/expressions/PredicateExpression.cpp
|
|
|
@ -106,9 +106,11 @@ namespace storm { |
|
|
|
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]; |
|
|
|
if (!operands.empty()) { |
|
|
|
stream << *operands[0]; |
|
|
|
for (uint64_t i = 1; i < operands.size(); i++) { |
|
|
|
stream << ", " << *operands[i]; |
|
|
|
} |
|
|
|
} |
|
|
|
stream << ")"; |
|
|
|
} |
|
|
|
|
