ExpressionCreator.h

Go to the documentation of this file.

#pragma once
 
// Very ugly, but currently we would like to have the symbol table here.
#include "storm-parsers/parser/SpiritParserDefinitions.h"
 
#include "storm/adapters/RationalNumberAdapter.h"  // TODO: use forward header
 
namespace storm {
 
namespace expressions {
class Expression;
class ExpressionManager;
enum struct OperatorType;
}  // namespace expressions
 
namespace parser {
class ExpressionCreator {
   public:
    ExpressionCreator(storm::expressions::ExpressionManager const& manager);
 
    ~ExpressionCreator();
 
    void setIdentifierMapping(qi::symbols<char, storm::expressions::Expression> const* identifiers_);
 
    void setIdentifierMapping(std::unordered_map<std::string, storm::expressions::Expression> const& identifierMapping);
 
    void unsetIdentifierMapping();
 
    bool getAcceptDoubleLiterals() const {
        return acceptDoubleLiterals;
    }
 
    void setAcceptDoubleLiterals(bool set = true) {
        acceptDoubleLiterals = set;
    }
 
    storm::expressions::Expression createIteExpression(storm::expressions::Expression const& e1, storm::expressions::Expression const& e2,
                                                       storm::expressions::Expression const& e3, bool& pass) const;
 
    storm::expressions::Expression createOrExpression(storm::expressions::Expression const& e1, storm::expressions::OperatorType const& operatorType,
                                                      storm::expressions::Expression const& e2, bool& pass) const;
    storm::expressions::Expression createAndExpression(storm::expressions::Expression const& e1, storm::expressions::OperatorType const& operatorType,
                                                       storm::expressions::Expression const& e2, bool& pass) const;
    storm::expressions::Expression createRelationalExpression(storm::expressions::Expression const& e1, storm::expressions::OperatorType const& operatorType,
                                                              storm::expressions::Expression const& e2, bool& pass) const;
    storm::expressions::Expression createEqualsExpression(storm::expressions::Expression const& e1, storm::expressions::OperatorType const& operatorType,
                                                          storm::expressions::Expression const& e2, bool& pass) const;
    storm::expressions::Expression createPlusExpression(storm::expressions::Expression const& e1, storm::expressions::OperatorType const& operatorType,
                                                        storm::expressions::Expression const& e2, bool& pass) const;
    storm::expressions::Expression createMultExpression(storm::expressions::Expression const& e1, storm::expressions::OperatorType const& operatorType,
                                                        storm::expressions::Expression const& e2, bool& pass) const;
    storm::expressions::Expression createPowerModuloLogarithmExpression(storm::expressions::Expression const& e1,
                                                                        storm::expressions::OperatorType const& operatorType,
                                                                        storm::expressions::Expression const& e2, bool& pass) const;
    storm::expressions::Expression createUnaryExpression(std::vector<storm::expressions::OperatorType> const& operatorType,
                                                         storm::expressions::Expression const& e1, bool& pass) const;
    storm::expressions::Expression createRationalLiteralExpression(storm::RationalNumber const& value, bool& pass) const;
    storm::expressions::Expression createIntegerLiteralExpression(storm::RationalNumber const& value, bool& pass, bool& overflow) const;
    storm::expressions::Expression createBooleanLiteralExpression(bool value, bool& pass) const;
    storm::expressions::Expression createMinimumMaximumExpression(storm::expressions::Expression const& e1,
                                                                  storm::expressions::OperatorType const& operatorType,
                                                                  storm::expressions::Expression const& e2, bool& pass) const;
    storm::expressions::Expression createFloorCeilExpression(storm::expressions::OperatorType const& operatorType, storm::expressions::Expression const& e1,
                                                             bool& pass) const;
    storm::expressions::Expression createRoundExpression(storm::expressions::Expression const& e1, bool& pass) const;
    storm::expressions::Expression getIdentifierExpression(std::string const& identifier, bool& pass) const;
    storm::expressions::Expression createPredicateExpression(storm::expressions::OperatorType const& opTyp,
                                                             std::vector<storm::expressions::Expression> const& operands, bool& pass) const;
 
   private:
    // The manager responsible for the expressions.
    storm::expressions::ExpressionManager const& manager;
    qi::symbols<char, storm::expressions::Expression> const* identifiers = nullptr;
 
    bool createExpressions = false;
 
    bool acceptDoubleLiterals = true;
 
    bool deleteIdentifierMapping = false;
};
}  // namespace parser
}  // namespace storm