Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ArrayExpression.cpp
Go to the documentation of this file.
1#include "storm/storage/jani/expressions/ArrayExpression.h"
2
3namespace storm {
4namespace expressions {
5
6ArrayExpression::ArrayExpression(ExpressionManager const& manager, Type const& type) : BaseExpression(manager, type) {
7 // Intentionally left empty
8}
9
10} // namespace expressions
11} // namespace storm
storm::expressions::ArrayExpression::ArrayExpression
ArrayExpression(ExpressionManager const &manager, Type const &type)
Definition ArrayExpression.cpp:6
storm::expressions::BaseExpression::BaseExpression
BaseExpression(ExpressionManager const &manager, Type const &type)
Constructs a base expression with the given return type.
Definition BaseExpression.cpp:14
storm::expressions::ExpressionManager
This class is responsible for managing a set of typed variables and all expressions using these varia...
Definition ExpressionManager.h:72