ArchiveReader.cpp File Reference

#include "storm/io/ArchiveReader.h"
#include <array>
#include <cstring>
#include <fstream>
#include "storm/storage/BitVector.h"
#include "storm/utility/bitoperations.h"
#include "storm/utility/macros.h"
#include "storm/exceptions/FileIoException.h"
#include "storm/exceptions/MissingLibraryException.h"

Include dependency graph for ArchiveReader.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::io

Typedefs
template<typename T >
using	storm::io::Vec = typename ArchiveReader::ArchiveReadEntry::VectorType< T >

Functions
ArchiveReader	storm::io::openArchive (std::filesystem::path const &file)
	Reads an archive file.
template Vec< char >	storm::io::ArchiveReader::ArchiveReadEntry::toVector< char, std::endian::little > ()
template Vec< bool >	storm::io::ArchiveReader::ArchiveReadEntry::toVector< bool, std::endian::little > ()
template Vec< uint32_t >	storm::io::ArchiveReader::ArchiveReadEntry::toVector< uint32_t, std::endian::little > ()
template Vec< uint64_t >	storm::io::ArchiveReader::ArchiveReadEntry::toVector< uint64_t, std::endian::little > ()
template Vec< int64_t >	storm::io::ArchiveReader::ArchiveReadEntry::toVector< int64_t, std::endian::little > ()
template Vec< double >	storm::io::ArchiveReader::ArchiveReadEntry::toVector< double, std::endian::little > ()