Bisimulation.cpp File Reference

#include "storm/transformer/bisimulation/Bisimulation.h"
#include "storm/adapters/IntervalAdapter.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/models/sparse/Model.h"
#include "storm/transformer/bisimulation/Initialization.h"
#include "storm/transformer/bisimulation/Partition.h"
#include "storm/transformer/bisimulation/Quotient.h"
#include "storm/transformer/bisimulation/QuotientData.h"
#include "storm/transformer/bisimulation/SignatureBasedRefinement.h"
#include "storm/transformer/bisimulation/Signatures.h"
#include "storm/transformer/bisimulation/SplitterBasedRefinement.h"
#include "storm/transformer/bisimulation/WeakBisimulationData.h"
#include "storm/utility/NumberTraits.h"
#include "storm/utility/OptionalRef.h"
#include "storm/utility/Stopwatch.h"
#include "storm/utility/constants.h"

Include dependency graph for Bisimulation.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::bisimulation

Functions
template<typename ValueType>
ReturnType< ValueType >	storm::bisimulation::performBisimulationMinimization (storm::models::sparse::Model< ValueType > const &model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas={}, storm::bisimulation::Options options={})
	Computes the bisimulation quotient of the given model.
template ReturnType< double >	storm::bisimulation::performBisimulationMinimization (storm::models::sparse::Model< double > const &model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, Options options)
template ReturnType< storm::RationalNumber >	storm::bisimulation::performBisimulationMinimization (storm::models::sparse::Model< storm::RationalNumber > const &model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, Options options)
template ReturnType< storm::RationalFunction >	storm::bisimulation::performBisimulationMinimization (storm::models::sparse::Model< storm::RationalFunction > const &model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, Options options)
template ReturnType< storm::Interval >	storm::bisimulation::performBisimulationMinimization (storm::models::sparse::Model< storm::Interval > const &model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, Options options)
template ReturnType< storm::RationalInterval >	storm::bisimulation::performBisimulationMinimization (storm::models::sparse::Model< storm::RationalInterval > const &model, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas, Options options)