SparseModelFromUmb.cpp File Reference

#include "storm/storage/umb/import/SparseModelFromUmb.h"
#include <ranges>
#include <utility>
#include "storm/storage/umb/model/UmbModel.h"
#include "storm/storage/umb/model/Valuations.h"
#include "storm/models/ModelType.h"
#include "storm/storage/BitVector.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/storage/sparse/ModelComponents.h"
#include "storm/storage/umb/model/StringEncoding.h"
#include "storm/storage/umb/model/ValueEncoding.h"
#include "storm/utility/builder.h"
#include "storm/utility/macros.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/exceptions/UnexpectedException.h"
#include "storm/exceptions/WrongFormatException.h"

Include dependency graph for SparseModelFromUmb.cpp:

Go to the source code of this file.

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

Functions
auto	storm::umb::detail::csrRange (auto &&csr, uint64_t i)
template<typename ValueType>
storm::storage::SparseMatrix< ValueType >	storm::umb::detail::createBranchMatrix (storm::umb::UmbModel const &umbModel, std::ranges::input_range auto &&branchValues)
template<typename ValueType>
storm::storage::SparseMatrix< ValueType >	storm::umb::detail::createBranchMatrix (storm::umb::UmbModel const &umbModel, storm::umb::GenericVector const &branchValues, storm::umb::SizedType const &sourceType)
template<typename ValueType>
storm::storage::SparseMatrix< ValueType >	storm::umb::detail::createBranchMatrix (storm::umb::UmbModel const &umbModel, ValueType const &defaultValue)
storm::storage::BitVector	storm::umb::detail::createBitVector (storm::umb::VectorType< bool > const &umbBitVector, uint64_t size)
storm::storage::BitVector	storm::umb::detail::createBitVector (storm::umb::OptionalVectorType< bool > const &umbBitVector, uint64_t size)
storm::models::sparse::StateLabeling	storm::umb::detail::constructStateLabeling (storm::umb::UmbModel const &umbModel)
storm::models::sparse::ChoiceLabeling	storm::umb::detail::constructChoiceLabeling (storm::umb::UmbModel const &umbModel)
template<typename ValueType>
auto	storm::umb::detail::constructRewardModels (storm::umb::UmbModel const &umbModel)
template<typename ValueType>
storm::storage::SparseMatrix< ValueType >	storm::umb::detail::constructTransitionMatrix (storm::umb::UmbModel const &umbModel)
template<typename ValueType>
std::shared_ptr< storm::models::sparse::Model< ValueType > >	storm::umb::detail::constructSparseModel (storm::umb::UmbModel const &umbModel, ImportOptions const &options)
storm::models::ModelType	storm::umb::deriveModelType (storm::umb::ModelIndex const &index)
	Derives the model type from the given UMB model index.
template<typename ValueType>
bool	storm::umb::deriveValueType (storm::umb::ModelIndex const &index, ImportOptions const &options={})
	Returns true iff the given umb model with the given options should have ValueType as its ValueType.
template<typename ValueType>
std::shared_ptr< storm::models::sparse::Model< ValueType > >	storm::umb::sparseModelFromUmb (storm::umb::UmbModel const &umbModel, ImportOptions const &options={})
	Constructs a sparse model from the given UMB model.
std::shared_ptr< storm::models::ModelBase >	storm::umb::sparseModelFromUmb (storm::umb::UmbModel const &umbModel, ImportOptions const &options={})
	Constructs a sparse model from the given UMB model.
template std::shared_ptr< storm::models::sparse::Model< double > >	storm::umb::sparseModelFromUmb< double > (storm::umb::UmbModel const &umbModel, ImportOptions const &options)
template std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber > >	storm::umb::sparseModelFromUmb< storm::RationalNumber > (storm::umb::UmbModel const &umbModel, ImportOptions const &options)
template std::shared_ptr< storm::models::sparse::Model< storm::Interval > >	storm::umb::sparseModelFromUmb< storm::Interval > (storm::umb::UmbModel const &umbModel, ImportOptions const &options)
template std::shared_ptr< storm::models::sparse::Model< storm::RationalInterval > >	storm::umb::sparseModelFromUmb< storm::RationalInterval > (storm::umb::UmbModel const &umbModel, ImportOptions const &options)