FunctionDefinition.h

Go to the documentation of this file.

#pragma once
 
#include <string>
#include <vector>
 
#include <boost/optional.hpp>
 
#include "storm/storage/expressions/Expression.h"
#include "storm/storage/expressions/Variable.h"
 
namespace storm {
namespace jani {
 
class FunctionDefinition {
   public:
    FunctionDefinition(std::string const& name, storm::expressions::Type const& type, std::vector<storm::expressions::Variable> const& parameters,
                       storm::expressions::Expression const& functionBody);
 
    std::string const& getName() const;
 
    storm::expressions::Type const& getType() const;
 
    std::vector<storm::expressions::Variable> const& getParameters() const;
 
    storm::expressions::Expression const& getFunctionBody() const;
 
    void setFunctionBody(storm::expressions::Expression const& body);
 
    storm::expressions::Expression call(std::vector<std::shared_ptr<storm::expressions::BaseExpression const>> const& arguments) const;
 
    void substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution, bool const substituteTranscendentalNumbers);
 
   private:
    // The name of the function.
    std::string name;
 
    // The type of the function
    storm::expressions::Type type;
 
    // The parameters
    std::vector<storm::expressions::Variable> parameters;
 
    // The body of the function
    storm::expressions::Expression functionBody;
};
 
}  // namespace jani
}  // namespace storm