Browse Source

Added assertion

tempestpy_adaptions
Matthias Volk 6 years ago
parent
commit
1d683acbde
  1. 2
      src/storm-dft/builder/DFTBuilder.h

2
src/storm-dft/builder/DFTBuilder.h

@ -174,7 +174,7 @@ namespace storm {
//TODO Matthias: collect constraints for SMT solving //TODO Matthias: collect constraints for SMT solving
//failureRate > 0 //failureRate > 0
//0 <= dormancyFactor <= 1 //0 <= dormancyFactor <= 1
STORM_LOG_ASSERT(mElements.find(name) == mElements.end(), "Element '" << name << "' already exists.");
mElements[name] = std::make_shared<storm::storage::DFTBE<ValueType>>(mNextId++, name, failureRate, dormancyFactor, transient); mElements[name] = std::make_shared<storm::storage::DFTBE<ValueType>>(mNextId++, name, failureRate, dormancyFactor, transient);
return true; return true;
} }

Loading…
Cancel
Save