bisimulation.h File Reference

#include "storm/models/sparse/Ctmc.h"
#include "storm/models/sparse/Dtmc.h"
#include "storm/models/sparse/Mdp.h"
#include "storm/storage/bisimulation/DeterministicModelBisimulationDecomposition.h"
#include "storm/storage/bisimulation/NondeterministicModelBisimulationDecomposition.h"
#include "storm/storage/dd/BisimulationDecomposition.h"
#include "storm/storage/dd/DdType.h"
#include "storm/exceptions/NotSupportedException.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
	LabParser.cpp.
namespace	storm::api

Functions
template<typename ModelType >
std::shared_ptr< ModelType >	storm::api::performDeterministicSparseBisimulationMinimization (std::shared_ptr< ModelType > model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, storm::storage::BisimulationType type, bool graphPreserving=true)
template<typename ModelType >
std::shared_ptr< ModelType >	storm::api::performNondeterministicSparseBisimulationMinimization (std::shared_ptr< ModelType > model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, storm::storage::BisimulationType type, bool graphPreserving=true)
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::storage::BisimulationType type=storm::storage::BisimulationType::Strong, bool graphPreserving=true)
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::storage::BisimulationType const &bisimulationType=storm::storage::BisimulationType::Strong, storm::dd::bisimulation::SignatureMode const &mode=storm::dd::bisimulation::SignatureMode::Eager, storm::dd::bisimulation::QuotientFormat const &quotientFormat=storm::dd::bisimulation::QuotientFormat::Dd)
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::storage::BisimulationType const &=storm::storage::BisimulationType::Strong, storm::dd::bisimulation::SignatureMode const &=storm::dd::bisimulation::SignatureMode::Eager, storm::dd::bisimulation::QuotientFormat const &=storm::dd::bisimulation::QuotientFormat::Dd)