Browse Source

Fixed actually taking options for non-deterministic bisimulation when performing non-deterministic bisimulation.

tempestpy_adaptions
TimQu 6 years ago
parent
commit
8a7a604f4c
  1. 2
      src/storm/api/bisimulation.h

2
src/storm/api/bisimulation.h

@ -27,7 +27,7 @@ namespace storm {
template<typename ModelType>
std::shared_ptr<ModelType> performNondeterministicSparseBisimulationMinimization(std::shared_ptr<ModelType> model, std::vector<std::shared_ptr<storm::logic::Formula const>> const& formulas, storm::storage::BisimulationType type) {
typename storm::storage::DeterministicModelBisimulationDecomposition<ModelType>::Options options;
typename storm::storage::NondeterministicModelBisimulationDecomposition<ModelType>::Options options;
if (!formulas.empty()) {
options = typename storm::storage::NondeterministicModelBisimulationDecomposition<ModelType>::Options(*model, formulas);
}

Loading…
Cancel
Save