Browse Source

Merge remote-tracking branch 'origin/master' into reward-bounded-multi-objective

tempestpy_adaptions
TimQu 7 years ago
parent
commit
199d12a2c2
  1. 2
      src/storm/modelchecker/prctl/helper/HybridMdpPrctlHelper.cpp
  2. 4
      version.cmake

2
src/storm/modelchecker/prctl/helper/HybridMdpPrctlHelper.cpp

@ -108,8 +108,8 @@ namespace storm {
oneStepProbabilities = std::move(subvector); oneStepProbabilities = std::move(subvector);
} else { } else {
STORM_LOG_DEBUG("Not eliminating ECs as there are none."); STORM_LOG_DEBUG("Not eliminating ECs as there are none.");
eliminateExtendedStatesFromExplicitRepresentation(explicitRepresentation, solverRequirementsData.initialScheduler, solverRequirementsData.properMaybeStates);
oneStepProbabilities = explicitRepresentation.first.getConstrainedRowGroupSumVector(solverRequirementsData.properMaybeStates, targetStates); oneStepProbabilities = explicitRepresentation.first.getConstrainedRowGroupSumVector(solverRequirementsData.properMaybeStates, targetStates);
eliminateExtendedStatesFromExplicitRepresentation(explicitRepresentation, solverRequirementsData.initialScheduler, solverRequirementsData.properMaybeStates);
} }
} }

4
version.cmake

@ -0,0 +1,4 @@
set(STORM_VERSION_MAJOR 1)
set(STORM_VERSION_MINOR 1)
set(STORM_VERSION_PATCH 0)
Loading…
Cancel
Save