bisimulation.h File Reference

#include <optional>
#include "storm/exceptions/NotSupportedException.h"
#include "storm/models/sparse/Model.h"
#include "storm/storage/dd/DdType.h"
#include "storm/storage/dd/bisimulation/BisimulationDecomposition.h"
#include "storm/storage/dd/bisimulation/BisimulationOptions.h"
#include "storm/transformer/bisimulation/Bisimulation.h"
#include "storm/utility/macros.h"

Include dependency graph for bisimulation.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::api

Functions
template<typename ValueType>
std::shared_ptr< storm::models::sparse::Model< ValueType > >	storm::api::performBisimulationMinimization (std::shared_ptr< storm::models::sparse::Model< ValueType > > const &model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas={}, storm::bisimulation::Options const &options={})
template<storm::dd::DdType DdType, typename ValueType, typename ExportValueType = ValueType>
std::enable_if< DdType==storm::dd::DdType::Sylvan||std::is_same< ValueType, double >::value, std::shared_ptr< storm::models::Model< ExportValueType > > >::type	storm::api::performBisimulationMinimization (std::shared_ptr< storm::models::symbolic::Model< DdType, ValueType > > const &model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, storm::bisimulation::BisimulationType const &bisimulationType=storm::bisimulation::BisimulationType::Strong, storm::dd::bisimulation::SignatureMode const &mode=storm::dd::bisimulation::SignatureMode::Eager, storm::dd::bisimulation::QuotientFormat const &quotientFormat=storm::dd::bisimulation::QuotientFormat::Dd, storm::dd::bisimulation::BisimulationOptions const &bisimulationOptions=storm::dd::bisimulation::BisimulationOptions())
template<storm::dd::DdType DdType, typename ValueType, typename ExportValueType = ValueType>
std::enable_if< DdType!=storm::dd::DdType::Sylvan &&!std::is_same< ValueType, double >::value, std::shared_ptr< storm::models::Model< ExportValueType > > >::type	storm::api::performBisimulationMinimization (std::shared_ptr< storm::models::symbolic::Model< DdType, ValueType > > const &, std::vector< std::shared_ptr< storm::logic::Formula const > > const &, storm::bisimulation::BisimulationType const &=storm::bisimulation::BisimulationType::Strong, storm::dd::bisimulation::SignatureMode const &=storm::dd::bisimulation::SignatureMode::Eager, storm::dd::bisimulation::QuotientFormat const &=storm::dd::bisimulation::QuotientFormat::Dd, storm::dd::bisimulation::BisimulationOptions const &=storm::dd::bisimulation::BisimulationOptions())