DirectEncodingParser.h

Go to the documentation of this file.

#ifndef STORM_PARSER_DIRECTENCODINGPARSER_H_
#define STORM_PARSER_DIRECTENCODINGPARSER_H_
 
#include "storm/models/sparse/Model.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/storage/sparse/ModelComponents.h"
 
namespace storm {
namespace parser {
 
template<typename T>
class ValueParser;
 
struct DirectEncodingParserOptions {
    bool buildChoiceLabeling = false;
};
template<typename ValueType, typename RewardModelType = models::sparse::StandardRewardModel<ValueType>>
class DirectEncodingParser {
   public:
    static std::shared_ptr<storm::models::sparse::Model<ValueType, RewardModelType>> parseModel(
        std::string const& fil, DirectEncodingParserOptions const& options = DirectEncodingParserOptions());
 
   private:
    static std::shared_ptr<storm::storage::sparse::ModelComponents<ValueType, RewardModelType>> parseStates(
        std::istream& file, storm::models::ModelType type, size_t stateSize, size_t nrChoices, std::unordered_map<std::string, ValueType> const& placeholders,
        ValueParser<ValueType> const& valueParser, std::vector<std::string> const& rewardModelNames, DirectEncodingParserOptions const& options);
 
    static ValueType parseValue(std::string const& valueStr, std::unordered_map<std::string, ValueType> const& placeholders,
                                ValueParser<ValueType> const& valueParser);
};
 
}  // namespace parser
}  // namespace storm
 
#endif /* STORM_PARSER_DIRECTENCODINGPARSER_H_ */