Browse Source

fix for state set abstractor when the given predicate contains no variables

tempestpy_adaptions
dehnert 8 years ago
parent
commit
dd2fbf3d6e
  1. 4
      src/storm/abstraction/LocalExpressionInformation.cpp

4
src/storm/abstraction/LocalExpressionInformation.cpp

@ -59,10 +59,10 @@ namespace storm {
blocksToMerge.insert(getBlockIndexOfVariable(variable));
}
STORM_LOG_ASSERT(!blocksToMerge.empty(), "Found no blocks to merge.");
STORM_LOG_ASSERT(variables.empty() || !blocksToMerge.empty(), "Found no blocks to merge.");
// If we found a single block only, there is nothing to do.
if (blocksToMerge.size() == 1) {
if (blocksToMerge.size() <= 1) {
std::map<uint64_t, uint64_t> identity;
for (uint64_t i = 0; i < getNumberOfBlocks(); ++i) {
identity.emplace_hint(identity.end(), i, i);

Loading…
Cancel
Save