ValueParser.h

Go to the documentation of this file.

#pragma once
 
#include <cstddef>
#include <string>
#include <type_traits>
 
#include "storm-parsers/storm-parsers-api.h"
#include "storm/adapters/RationalFunctionForward.h"
#include "storm/storage/expressions/ExpressionManager.h"
 
namespace storm {
namespace expressions {
template<typename V>
class ExpressionEvaluator;
}
 
namespace parser {
class ExpressionParser;

template<typename ValueType>
class STORM_PARSERS_API ValueParser {
   public:
    ValueType parseValue(std::string const& value) const;

    void addParameter(std::string const& parameter);
 
   private:
    struct ParametricData {
        ParametricData();
        ~ParametricData();
        std::shared_ptr<storm::expressions::ExpressionManager> manager;
        std::unique_ptr<storm::parser::ExpressionParser> parser;  // Pointer to avoid header include.
        std::unique_ptr<storm::expressions::ExpressionEvaluator<storm::RationalFunction>> evaluator;
        std::unordered_map<std::string, storm::expressions::Expression> identifierMapping;
    };
    std::conditional_t<std::is_same_v<ValueType, storm::RationalFunction>, ParametricData, std::nullptr_t> data;
};

template<typename NumberType>
STORM_PARSERS_API NumberType parseNumber(std::string const& value);

template<typename NumberType>
STORM_PARSERS_API bool parseNumber(std::string const& value, NumberType& result);
 
}  // namespace parser
}  // namespace storm