StaminaThreadedPriorityModelBuilder.h

 
#ifndef STAMINA_BUILDER_STAMINATHREADEDPRIORITYMODELBUILDER_H
#define STAMINA_BUILDER_STAMINATHREADEDPRIORITYMODELBUILDER_H
 
#include "StaminaPriorityModelBuilder.h"
 
namespace stamina {
    namespace builder {
        template<typename ValueType, typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>, typename StateType = uint32_t>
        class StaminaThreadedPriorityModelBuilder : public StaminaPriorityModelBuilder<ValueType, RewardModelType, StateType> {
        public:
            StaminaThreadedPriorityModelBuilder(
                std::shared_ptr<storm::generator::PrismNextStateGenerator<ValueType, StateType>> const& generator
                , storm::prism::Program const& modulesFile
                , storm::generator::NextStateGeneratorOptions const & options
            );
            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;
        private:
        };
        // "Custom" deleter (which actually is not custom) to allow for polymorphic shared pointers
        template<typename ValueType, typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>, typename StateType = uint32_t>
        void __delete_stamina_iterative_model_builder(StaminaThreadedPriorityModelBuilder<ValueType, RewardModelType, StateType> * t) { delete t; }
    }
}
 
#endif // STAMINA_BUILDER_STAMINATHREADEDPRIORITYMODELBUILDER_H