storm-dft.cpp File Reference

#include "storm-dft/api/storm-dft.h"
#include "storm-conv/api/storm-conv.h"
#include "storm-conv/settings/modules/JaniExportSettings.h"
#include "storm-dft/settings/modules/DftGspnSettings.h"
#include "storm-dft/settings/modules/FaultTreeSettings.h"
#include <memory>
#include <vector>
#include "storm-dft/adapters/SFTBDDPropertyFormulaAdapter.h"
#include "storm-dft/modelchecker/DftModularizationChecker.h"
#include "storm-dft/modelchecker/SFTBDDChecker.h"
#include "storm-dft/storage/DFT.h"
#include "storm-dft/storage/DftJsonExporter.h"
#include "storm-dft/storage/SylvanBddManager.h"
#include "storm-dft/transformations/SftToBddTransformator.h"
#include "storm-dft/utility/MTTFHelper.h"

Include dependency graph for storm-dft.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::dft
namespace	storm::dft::api

Functions
template<>
void	storm::dft::api::analyzeDFTBdd (std::shared_ptr< storm::dft::storage::DFT< double > > const &dft, bool const exportToDot, std::string const &filename, bool const calculateMttf, double const mttfPrecision, double const mttfStepsize, std::string const mttfAlgorithmName, bool const calculateMCS, bool const calculateProbability, bool const useModularisation, std::string const importanceMeasureName, std::vector< double > const &timepoints, std::vector< std::shared_ptr< storm::logic::Formula const > > const &properties, std::vector< std::string > const &additionalRelevantEventNames, size_t const chunksize)
template<>
void	storm::dft::api::analyzeDFTBdd (std::shared_ptr< storm::dft::storage::DFT< storm::RationalFunction > > const &dft, bool const exportToDot, std::string const &filename, bool const calculateMttf, double const mttfPrecision, double const mttfStepsize, std::string const mttfAlgorithmName, bool const calculateMCS, bool const calculateProbability, bool const useModularisation, std::string const importanceMeasureName, std::vector< double > const &timepoints, std::vector< std::shared_ptr< storm::logic::Formula const > > const &properties, std::vector< std::string > const &additionalRelevantEventNames, size_t const chunksize)
template<typename ValueType >
void	storm::dft::api::exportDFTToJsonFile (storm::dft::storage::DFT< ValueType > const &dft, std::string const &file)
	Export DFT to JSON file.
template<typename ValueType >
std::string	storm::dft::api::exportDFTToJsonString (storm::dft::storage::DFT< ValueType > const &dft)
	Export DFT to JSON string.
template<>
void	storm::dft::api::exportDFTToSMT (storm::dft::storage::DFT< double > const &dft, std::string const &file)
template<>
void	storm::dft::api::exportDFTToSMT (storm::dft::storage::DFT< storm::RationalFunction > const &dft, std::string const &file)
template<>
void	storm::dft::api::analyzeDFTSMT (storm::dft::storage::DFT< double > const &dft, bool printOutput)
template<>
void	storm::dft::api::analyzeDFTSMT (storm::dft::storage::DFT< storm::RationalFunction > const &dft, bool printOutput)
template<>
std::pair< std::shared_ptr< storm::gspn::GSPN >, uint64_t >	storm::dft::api::transformToGSPN (storm::dft::storage::DFT< double > const &dft)
template<>
std::pair< std::shared_ptr< storm::gspn::GSPN >, uint64_t >	storm::dft::api::transformToGSPN (storm::dft::storage::DFT< storm::RationalFunction > const &dft)
std::shared_ptr< storm::jani::Model >	storm::dft::api::transformToJani (storm::gspn::GSPN const &gspn, uint64_t toplevelFailedPlace)
	Transform GSPN to Jani model.
storm::dft::utility::RelevantEvents	storm::dft::api::computeRelevantEvents (std::vector< std::shared_ptr< storm::logic::Formula const > > const &properties, std::vector< std::string > const &additionalRelevantEventNames)
	Get relevant event ids from given relevant event names and labels in properties.
template void	storm::dft::api::exportDFTToJsonFile (storm::dft::storage::DFT< double > const &, std::string const &)
template std::string	storm::dft::api::exportDFTToJsonString (storm::dft::storage::DFT< double > const &)
template void	storm::dft::api::exportDFTToJsonFile (storm::dft::storage::DFT< storm::RationalFunction > const &, std::string const &)
template std::string	storm::dft::api::exportDFTToJsonString (storm::dft::storage::DFT< storm::RationalFunction > const &)