DirectEncodingParser.h

Go to the documentation of this file.

#pragma once
 
#include <filesystem>
#include <memory>
 
#include "storm-parsers/storm-parsers-api.h"
#include "storm/models/sparse/Model.h"
#include "storm/models/sparse/StandardRewardModel.h"
 
namespace storm::parser {
 
struct DirectEncodingParserOptions {
    bool buildChoiceLabeling = false;
};
 
enum class DirectEncodingValueType { Default, Double, DoubleInterval, Rational, RationalInterval, Parametric };

STORM_PARSERS_API std::shared_ptr<storm::models::ModelBase> parseDirectEncodingModel(
    std::filesystem::path const& file, DirectEncodingValueType valueType, DirectEncodingParserOptions const& options = DirectEncodingParserOptions());

template<typename ValueType, typename RewardModelType = models::sparse::StandardRewardModel<ValueType>>
STORM_PARSERS_API std::shared_ptr<storm::models::sparse::Model<ValueType, RewardModelType>> parseDirectEncodingModel(
    std::filesystem::path const& file, DirectEncodingParserOptions const& options = DirectEncodingParserOptions());
 
}  // namespace storm::parser