|
| 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, AccumulationMode< ValueType > accumulationMode) |
| | Creates a matrix with one row per choice and one column per state, where the entry at (choice, target) is given by the values of the branches.
|
| 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, AccumulationMode< ValueType > accumulationMode) |
| template<typename ValueType> |
| storm::storage::SparseMatrix< ValueType > | storm::umb::detail::createBranchMatrix (storm::umb::UmbModel const &umbModel, ValueType const &defaultValue, AccumulationMode< ValueType > accumulationMode) |
| 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) |
