Browse Source

Small fix when computing upper bound in failed states

tempestpy_adaptions
Matthias Volk 8 years ago
parent
commit
a477784069
  1. 3
      src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp

3
src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp

@ -572,6 +572,9 @@ namespace storm {
template<typename ValueType, typename StateType> template<typename ValueType, typename StateType>
ValueType ExplicitDFTModelBuilderApprox<ValueType, StateType>::getUpperBound(DFTStatePointer const& state) const { ValueType ExplicitDFTModelBuilderApprox<ValueType, StateType>::getUpperBound(DFTStatePointer const& state) const {
if (state->hasFailed(dft.getTopLevelIndex())) {
return storm::utility::zero<ValueType>();
}
// Get the upper bound by considering the failure of all BEs // Get the upper bound by considering the failure of all BEs
ValueType upperBound = storm::utility::one<ValueType>(); ValueType upperBound = storm::utility::one<ValueType>();
ValueType rateSum = storm::utility::zero<ValueType>(); ValueType rateSum = storm::utility::zero<ValueType>();

Loading…
Cancel
Save