Browse Source

fixed bug in hybrid engine when using interval iteration

tempestpy_adaptions
dehnert 7 years ago
parent
commit
e6f61fb441
  1. 2
      src/storm/modelchecker/prctl/helper/HybridMdpPrctlHelper.cpp

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);
} }
} }

Loading…
Cancel
Save