DirectEncodingParser.h

Go to the documentation of this file.

#pragma once
 
#include <filesystem>
#include <memory>
 
#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 };
 
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>>
std::shared_ptr<storm::models::sparse::Model<ValueType, RewardModelType>> parseDirectEncodingModel(
    std::filesystem::path const& file, DirectEncodingParserOptions const& options = DirectEncodingParserOptions());
 
}  // namespace storm::parser