ChoiceSelector.h

Go to the documentation of this file.

#pragma once
 
#include "storm/models/sparse/NondeterministicModel.h"
#include "storm/models/sparse/StandardRewardModel.h"
 
namespace storm {
namespace transformer {
 
template<typename ValueType, typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>>
class ChoiceSelector {
   public:
    ChoiceSelector(storm::models::sparse::NondeterministicModel<ValueType, RewardModelType> const& inputModel) : inputModel(inputModel) {}
 
    std::shared_ptr<storm::models::sparse::NondeterministicModel<ValueType, RewardModelType>> transform(storm::storage::BitVector const& enabledActions) const;
 
   private:
    storm::models::sparse::NondeterministicModel<ValueType, RewardModelType> const& inputModel;
};
 
}  // namespace transformer
}  // namespace storm