|
| template<typename ValueType, typename TargetValueType> |
| void | storm::umb::detail::transitionMatrixToUmb (storm::storage::SparseMatrix< ValueType > const &matrix, storm::umb::UmbModel &umb, bool const normalize) |
| void | storm::umb::detail::stateLabelingToUmb (storm::models::sparse::StateLabeling const &labeling, storm::umb::UmbModel &umb) |
| uint64_t | storm::umb::detail::choiceOriginsToUmb (storm::storage::sparse::ChoiceOrigins const &choiceOrigins, storm::umb::UmbModel &umb) |
| uint64_t | storm::umb::detail::choiceLabelingToUmb (storm::models::sparse::ChoiceLabeling const &labeling, storm::umb::UmbModel &umb) |
| template<typename TargetValueType> |
| void | storm::umb::detail::setGenericVector (storm::umb::GenericVector &target, std::ranges::input_range auto &&values) |
| template<typename ValueType, typename TargetValueType> |
| void | storm::umb::detail::rewardToUmb (std::string const &rewardModelName, storm::models::sparse::StandardRewardModel< ValueType > const &rewardModel, storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::umb::UmbModel &umb) |
| template<typename ValueType, typename TargetValueType> |
| void | storm::umb::detail::playerIndicesToUmb (storm::models::sparse::Smg< ValueType > const &smg, auto &playerNames, auto &stateToPlayerIndices) |
| template<typename ValueType> |
| storm::umb::Type | storm::umb::detail::getExportType (ExportOptions const &options) |
| template<typename ValueType> |
| void | storm::umb::detail::setIndexInformation (storm::models::sparse::Model< ValueType > const &model, storm::umb::ModelIndex &index, ExportOptions const &options) |
| template<typename ValueType, typename TargetValueType> |
| void | storm::umb::detail::sparseModelToUmb (storm::models::sparse::Model< ValueType > const &model, UmbModel &umbModel, ExportOptions const &options) |
| template<typename ValueType> |
| storm::umb::UmbModel | storm::umb::sparseModelToUmb (storm::models::sparse::Model< ValueType > const &model, ExportOptions const &options) |
| template storm::umb::UmbModel | storm::umb::sparseModelToUmb< double > (storm::models::sparse::Model< double > const &model, ExportOptions const &options) |
| template storm::umb::UmbModel | storm::umb::sparseModelToUmb< storm::RationalNumber > (storm::models::sparse::Model< storm::RationalNumber > const &model, ExportOptions const &options) |
| template storm::umb::UmbModel | storm::umb::sparseModelToUmb< storm::Interval > (storm::models::sparse::Model< storm::Interval > const &model, ExportOptions const &options) |
| template storm::umb::UmbModel | storm::umb::sparseModelToUmb< storm::RationalInterval > (storm::models::sparse::Model< storm::RationalInterval > const &model, ExportOptions const &options) |
