storm::umb::internal Namespace Reference

Concepts
concept	HasFileNames
concept	FileNameMap
concept	IsOptional
concept	IsOptionalWithFileNames

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

Function Documentation

fromArchive()

storm::umb::UmbModel storm::umb::internal::fromArchive	(	std::filesystem::path const &	umbArchive,
		ImportOptions const &	)

Definition at line 228 of file UmbImport.cpp.

getFilePath()

std::filesystem::path storm::umb::internal::getFilePath

(

typename storm::io::ArchiveReader::ArchiveReadEntry const &

src

)

Definition at line 46 of file UmbImport.cpp.

importGenericVector() [1/3]

template<typename ValueType>

void storm::umb::internal::importGenericVector	(	typename storm::io::ArchiveReader::ArchiveReadEntry &	src,
		GenericVector &	target )

Definition at line 74 of file UmbImport.cpp.

importGenericVector() [2/3]

void storm::umb::internal::importGenericVector	(	typename storm::io::ArchiveReader::ArchiveReadEntry &	src,
		SizedType const &	type,
		GenericVector &	target )

Definition at line 78 of file UmbImport.cpp.

importGenericVector() [3/3]

void storm::umb::internal::importGenericVector	(	typename storm::io::ArchiveReader::ArchiveReadEntry &	src,
		storm::umb::ModelIndex const &	index,
		GenericVector &	target )

Definition at line 109 of file UmbImport.cpp.

importVector() [1/6]

template<typename VecT>
requires std::same_as<VecT, storm::storage::BitVector>

VecT storm::umb::internal::importVector

(

typename storm::io::ArchiveReader::ArchiveReadEntry &

src

)

Definition at line 58 of file UmbImport.cpp.

importVector() [2/6]

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

)

Definition at line 52 of file UmbImport.cpp.

importVector() [3/6]

template<typename VecT>

void storm::umb::internal::importVector	(	typename storm::io::ArchiveReader::ArchiveReadEntry &	src,
		std::optional< VecT > &	target )

Definition at line 63 of file UmbImport.cpp.

importVector() [4/6]

bool storm::umb::internal::importVector	(	typename storm::io::ArchiveReader::ArchiveReadEntry &	src,
		storm::umb::ModelIndex const &	index,
		FileNameMap auto &	umbStructure,
		std::filesystem::path const &	context )

Definition at line 155 of file UmbImport.cpp.

importVector() [5/6]

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 )

Definition at line 168 of file UmbImport.cpp.

importVector() [6/6]

template<typename VecT>
requires (!IsOptional<VecT>)

void storm::umb::internal::importVector	(	typename storm::io::ArchiveReader::ArchiveReadEntry &	src,
		VecT &	target )

Definition at line 69 of file UmbImport.cpp.

parseIndexFromString()

void storm::umb::internal::parseIndexFromString	(	std::string const &	indexFileString,
		storm::umb::ModelIndex &	index )

Definition at line 28 of file UmbImport.cpp.

prepareAnnotations()

void storm::umb::internal::prepareAnnotations

(

storm::umb::UmbModel &

umbModel

)

Prepares annotations so that all fields are available according to the index.

Definition at line 35 of file UmbImport.cpp.