Browse Source

Correctly handle the case where no model description is provided to the builder options.

tempestpy_adaptions
TimQu 6 years ago
parent
commit
605c13238e
  1. 4
      src/storm/builder/BuilderOptions.cpp

4
src/storm/builder/BuilderOptions.cpp

@ -58,7 +58,9 @@ namespace storm {
auto const& buildSettings = storm::settings::getModule<storm::settings::modules::BuildSettings>();
auto const& generalSettings = storm::settings::getModule<storm::settings::modules::GeneralSettings>();
this->setApplyMaximalProgressAssumption(modelDescription.getModelType() == storm::storage::SymbolicModelDescription::ModelType::MA);
if (modelDescription.hasModel()) {
this->setApplyMaximalProgressAssumption(modelDescription.getModelType() == storm::storage::SymbolicModelDescription::ModelType::MA);
}
explorationChecks = buildSettings.isExplorationChecksSet();
reservedBitsForUnboundedVariables = buildSettings.getBitsForUnboundedVariables();
showProgress = generalSettings.isVerboseSet();

Loading…
Cancel
Save