ValueParser.h

Go to the documentation of this file.

#pragma once
 
#include <cstddef>
#include <string>
#include <type_traits>
 
#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 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>
NumberType parseNumber(std::string const& value);
 
template<typename NumberType>
bool parseNumber(std::string const& value, NumberType& result);
 
}  // namespace parser
}  // namespace storm