transformation.cpp File Reference

#include "transformation.h"
#include <memory>
#include "storm-dft/transformations/DftTransformer.h"
#include "storm-dft/utility/DftValidator.h"

Include dependency graph for transformation.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::dft
namespace	storm::dft::api

Functions
template<typename ValueType>
std::pair< bool, std::string >	storm::dft::api::isWellFormed (storm::dft::storage::DFT< ValueType > const &dft, bool validForMarkovianAnalysis=true)
	Check whether the DFT is well-formed.
template<typename ValueType>
std::pair< bool, std::string >	storm::dft::api::hasPotentialModelingIssues (storm::dft::storage::DFT< ValueType > const &dft)
	Check whether the DFT has potential modeling issues.
template<typename ValueType>
std::shared_ptr< storm::dft::storage::DFT< ValueType > >	storm::dft::api::applyTransformations (storm::dft::storage::DFT< ValueType > const &dft, bool uniqueBE, bool binaryFDEP, bool exponentialDistributions)
	Apply transformations for DFT.
template<typename ValueType>
std::shared_ptr< storm::dft::storage::DFT< ValueType > >	storm::dft::api::prepareForMarkovAnalysis (storm::dft::storage::DFT< ValueType > const &dft)
	Apply transformations to make DFT feasible for Markovian analysis.
template std::pair< bool, std::string >	storm::dft::api::isWellFormed (storm::dft::storage::DFT< double > const &, bool)
template std::pair< bool, std::string >	storm::dft::api::hasPotentialModelingIssues (storm::dft::storage::DFT< double > const &)
template std::shared_ptr< storm::dft::storage::DFT< double > >	storm::dft::api::applyTransformations (storm::dft::storage::DFT< double > const &, bool, bool, bool)
template std::shared_ptr< storm::dft::storage::DFT< double > >	storm::dft::api::prepareForMarkovAnalysis (storm::dft::storage::DFT< double > const &)
template std::pair< bool, std::string >	storm::dft::api::isWellFormed (storm::dft::storage::DFT< storm::RationalFunction > const &, bool)
template std::pair< bool, std::string >	storm::dft::api::hasPotentialModelingIssues (storm::dft::storage::DFT< storm::RationalFunction > const &)
template std::shared_ptr< storm::dft::storage::DFT< storm::RationalFunction > >	storm::dft::api::applyTransformations (storm::dft::storage::DFT< storm::RationalFunction > const &, bool, bool, bool)
template std::shared_ptr< storm::dft::storage::DFT< storm::RationalFunction > >	storm::dft::api::prepareForMarkovAnalysis (storm::dft::storage::DFT< storm::RationalFunction > const &)