UmbImport.cpp File Reference

#include "storm/storage/umb/import/UmbImport.h"
#include "storm/storage/umb/model/UmbModel.h"
#include "storm/adapters/JsonAdapter.h"
#include "storm/io/ArchiveReader.h"
#include "storm/utility/macros.h"
#include "storm/exceptions/FileIoException.h"
#include "storm/exceptions/UnexpectedException.h"
#include "storm/exceptions/WrongFormatException.h"

Include dependency graph for UmbImport.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::umb
namespace	storm::umb::internal

Concepts
concept	storm::umb::internal::HasFileNames
concept	storm::umb::internal::FileNameMap
concept	storm::umb::internal::IsOptional
concept	storm::umb::internal::IsOptionalWithFileNames

Functions
void	storm::umb::internal::parseIndexFromString (std::string const &indexFileString, storm::umb::ModelIndex &index)
void	storm::umb::internal::prepareAnnotations (storm::umb::UmbModel &umbModel)
	Prepares annotations so that all fields are available according to the index.
std::filesystem::path	storm::umb::internal::getFilePath (typename storm::io::ArchiveReader::ArchiveReadEntry const &src)
template<typename VecT> requires std::same_as<VecT, std::vector<typename VecT::value_type>>
VecT	storm::umb::internal::importVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src)
template<typename VecT> requires std::same_as<VecT, storm::storage::BitVector>
VecT	storm::umb::internal::importVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src)
template<typename VecT>
void	storm::umb::internal::importVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src, std::optional< VecT > &target)
template<typename VecT> requires (!IsOptional<VecT>)
void	storm::umb::internal::importVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src, VecT &target)
template<typename ValueType>
void	storm::umb::internal::importGenericVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src, GenericVector &target)
void	storm::umb::internal::importGenericVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src, SizedType const &type, GenericVector &target)
void	storm::umb::internal::importGenericVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src, storm::umb::ModelIndex const &index, GenericVector &target)
template<typename UmbStructure> requires HasFileNames<UmbStructure>
bool	storm::umb::internal::importVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src, storm::umb::ModelIndex const &index, UmbStructure &umbStructure, std::filesystem::path const &context)
bool	storm::umb::internal::importVector (typename storm::io::ArchiveReader::ArchiveReadEntry &src, storm::umb::ModelIndex const &index, FileNameMap auto &umbStructure, std::filesystem::path const &context)
storm::umb::UmbModel	storm::umb::internal::fromArchive (std::filesystem::path const &umbArchive, ImportOptions const &)
storm::umb::UmbModel	storm::umb::importUmb (std::filesystem::path const &umbLocation, ImportOptions const &options)