Umb.cpp File Reference

#include "storm/storage/umb/Umb.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/storage/umb/export/SparseModelToUmb.h"
#include "storm/storage/umb/export/UmbExport.h"
#include "storm/storage/umb/import/SparseModelFromUmb.h"
#include "storm/storage/umb/import/UmbImport.h"
#include "storm/storage/umb/model/UmbModel.h"

Include dependency graph for Umb.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::umb
namespace	storm::umb::detail

Functions
void	storm::umb::detail::warnNonStandardFiles (UmbModel const &umb, std::filesystem::path const &location)
template<typename ValueType>
std::shared_ptr< storm::models::sparse::Model< ValueType > >	storm::umb::buildModelFromUmb (std::filesystem::path const &umbLocation, ImportOptions const &options)
std::shared_ptr< storm::models::ModelBase >	storm::umb::buildModelFromUmb (std::filesystem::path const &umbLocation, ImportOptions const &options)
template<typename ValueType>
void	storm::umb::exportModelToUmb (storm::models::sparse::Model< ValueType > const &model, std::filesystem::path const &targetLocation, ExportOptions const &options)
template void	storm::umb::exportModelToUmb (storm::models::sparse::Model< double > const &, std::filesystem::path const &, ExportOptions const &)
template void	storm::umb::exportModelToUmb (storm::models::sparse::Model< storm::RationalNumber > const &, std::filesystem::path const &, ExportOptions const &)
template void	storm::umb::exportModelToUmb (storm::models::sparse::Model< storm::Interval > const &, std::filesystem::path const &, ExportOptions const &)
template void	storm::umb::exportModelToUmb (storm::models::sparse::Model< storm::RationalInterval > const &, std::filesystem::path const &, ExportOptions const &)