transformation.cpp File Reference

#include "storm/api/transformation.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/models/sparse/Model.h"
#include "storm/transformer/GoalStateMerger.h"

Include dependency graph for transformation.cpp:

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::mergeEquivalentStatesForFormula (std::shared_ptr< storm::models::sparse::Model< ValueType > > const &model, storm::logic::Formula const &formula)
	Identifies states of the given model that are equivalent w.r.t.
template std::shared_ptr< storm::models::sparse::Model< double > >	storm::api::mergeEquivalentStatesForFormula (std::shared_ptr< storm::models::sparse::Model< double > > const &model, storm::logic::Formula const &formula)
template std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber > >	storm::api::mergeEquivalentStatesForFormula (std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber > > const &model, storm::logic::Formula const &formula)
template std::shared_ptr< storm::models::sparse::Model< storm::RationalFunction > >	storm::api::mergeEquivalentStatesForFormula (std::shared_ptr< storm::models::sparse::Model< storm::RationalFunction > > const &model, storm::logic::Formula const &formula)