ArrayExpression.cpp

Go to the documentation of this file.

#include "storm/storage/jani/expressions/ArrayExpression.h"
 
namespace storm {
namespace expressions {
 
ArrayExpression::ArrayExpression(ExpressionManager const& manager, Type const& type) : BaseExpression(manager, type) {
    // Intentionally left empty
}
ArrayExpression::ArrayExpression(ExpressionManager const& manager, Type const& type) : BaseExpression(manager, type) {…}
 
}  // namespace expressions
}  // namespace storm