transformation.h File Reference

#include <utility>
#include "storm-dft/storage/DFT.h"

Include dependency graph for transformation.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::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.