12#ifndef STAMINA_BUILDER_STAMINATHREADEDPRIORITYMODELBUILDER_H
13#define STAMINA_BUILDER_STAMINATHREADEDPRIORITYMODELBUILDER_H
15#include "StaminaPriorityModelBuilder.h"
19 template<
typename ValueType,
typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>,
typename StateType = u
int32_t>
28 std::shared_ptr<storm::generator::PrismNextStateGenerator<ValueType, StateType>>
const& generator
29 , storm::prism::Program
const& modulesFile
30 , storm::generator::NextStateGeneratorOptions
const & options
39 storm::prism::Program
const& program
40 , storm::generator::NextStateGeneratorOptions
const& generatorOptions = storm::generator::NextStateGeneratorOptions()
52 storm::storage::SparseMatrixBuilder<ValueType>& transitionMatrixBuilder
53 , std::vector<RewardModelBuilder<typename RewardModelType::ValueType>>& rewardModelBuilders
54 , StateAndChoiceInformationBuilder& choiceInformationBuilder
55 , boost::optional<storm::storage::BitVector>& markovianChoices
56 , boost::optional<storm::storage::sparse::StateValuationsBuilder>& stateValuationsBuilder
61 template<
typename ValueType,
typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>,
typename StateType = u
int32_t>
Definition: StaminaPriorityModelBuilder.h:16
Definition: StaminaThreadedPriorityModelBuilder.h:20
StaminaThreadedPriorityModelBuilder(storm::prism::Program const &program, storm::generator::NextStateGeneratorOptions const &generatorOptions=storm::generator::NextStateGeneratorOptions())
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
StaminaThreadedPriorityModelBuilder(std::shared_ptr< storm::generator::PrismNextStateGenerator< ValueType, StateType > > const &generator, storm::prism::Program const &modulesFile, storm::generator::NextStateGeneratorOptions const &options)
Definition: StaminaThreadedPriorityModelBuilder.cpp:7
Definition: ExplicitTruncatedModelBuilder.cpp:40