1#ifndef STAMINA_BUILDER_REEXPLORINGMODELBUILDER_H
2#define STAMINA_BUILDER_REEXPLORINGMODELBUILDER_H
12#include "StaminaModelBuilder.h"
16 template<
typename ValueType,
typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>,
typename StateType = u
int32_t>
26 std::shared_ptr<storm::generator::PrismNextStateGenerator<ValueType, StateType>>
const& generator
27 , storm::prism::Program
const& modulesFile
28 , storm::generator::NextStateGeneratorOptions
const & options
37 storm::prism::Program
const& program
38 , storm::generator::NextStateGeneratorOptions
const& generatorOptions = storm::generator::NextStateGeneratorOptions()
50 storm::storage::SparseMatrixBuilder<ValueType>& transitionMatrixBuilder
51 , std::vector<RewardModelBuilder<typename RewardModelType::ValueType>>& rewardModelBuilders
52 , StateAndChoiceInformationBuilder& choiceInformationBuilder
53 , boost::optional<storm::storage::BitVector>& markovianChoices
54 , boost::optional<storm::storage::sparse::StateValuationsBuilder>& stateValuationsBuilder
69 storm::storage::sparse::ModelComponents<ValueType, RewardModelType>
buildModelComponents()
override;
104 void connectAllTerminalStatesToAbsorbing(storm::storage::SparseMatrixBuilder<ValueType>& transitionMatrixBuilder);
108 std::deque<std::pair<ProbabilityState<StateType> *, CompressedState>> statesTerminatedLastIteration;
109 uint64_t numberOfExploredStates;
110 uint64_t numberOfExploredStatesSinceLastMessage;
113 template<
typename ValueType,
typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>,
typename StateType = u
int32_t>
Definition: StaminaModelBuilder.h:61
Definition: StaminaReExploringModelBuilder.h:17
void buildMatrices(storm::storage::SparseMatrixBuilder< ValueType > &transitionMatrixBuilder, std::vector< RewardModelBuilder< typename RewardModelType::ValueType > > &rewardModelBuilders, StateAndChoiceInformationBuilder &choiceInformationBuilder, boost::optional< storm::storage::BitVector > &markovianChoices, boost::optional< storm::storage::sparse::StateValuationsBuilder > &stateValuationsBuilder) override
Definition: StaminaReExploringModelBuilder.cpp:40
StateType getOrAddStateIndex(CompressedState const &state) override
Definition: StaminaReExploringModelBuilder.cpp:267
StaminaReExploringModelBuilder(std::shared_ptr< storm::generator::PrismNextStateGenerator< ValueType, StateType > > const &generator, storm::prism::Program const &modulesFile, storm::generator::NextStateGeneratorOptions const &options)
Definition: StaminaReExploringModelBuilder.cpp:11
storm::storage::sparse::ModelComponents< ValueType, RewardModelType > buildModelComponents() override
Definition: StaminaReExploringModelBuilder.cpp:359
Definition: ExplicitTruncatedModelBuilder.cpp:40