accept(ExpressionVisitor &visitor, boost::any const &data) const override | storm::expressions::ArrayAccessExpression | virtual |
ArrayAccessExpression(ExpressionManager const &manager, Type const &type, std::shared_ptr< BaseExpression const > const &arrayExpression, std::shared_ptr< BaseExpression const > const &indexExpression) | storm::expressions::ArrayAccessExpression | |
ArrayAccessExpression(ArrayAccessExpression const &other)=default | storm::expressions::ArrayAccessExpression | |
ArrayAccessExpression(ArrayAccessExpression &&)=default | storm::expressions::ArrayAccessExpression | |
asBinaryBooleanFunctionExpression() const | storm::expressions::BaseExpression | |
asBinaryNumericalFunctionExpression() const | storm::expressions::BaseExpression | |
asBinaryRelationExpression() const | storm::expressions::BaseExpression | |
asBooleanLiteralExpression() const | storm::expressions::BaseExpression | |
asIfThenElseExpression() const | storm::expressions::BaseExpression | |
asIntegerLiteralExpression() const | storm::expressions::BaseExpression | |
asPredicateExpression() const | storm::expressions::BaseExpression | |
asRationalLiteralExpression() const | storm::expressions::BaseExpression | |
asUnaryBooleanFunctionExpression() const | storm::expressions::BaseExpression | |
asUnaryNumericalFunctionExpression() const | storm::expressions::BaseExpression | |
asVariableExpression() const | storm::expressions::BaseExpression | |
BaseExpression(ExpressionManager const &manager, Type const &type) | storm::expressions::BaseExpression | |
BaseExpression(BaseExpression const &)=default | storm::expressions::BaseExpression | |
BaseExpression(BaseExpression &&)=default | storm::expressions::BaseExpression | |
BinaryExpression(ExpressionManager const &manager, Type const &type, std::shared_ptr< BaseExpression const > const &firstOperand, std::shared_ptr< BaseExpression const > const &secondOperand) | storm::expressions::BinaryExpression | |
BinaryExpression(BinaryExpression const &other)=default | storm::expressions::BinaryExpression | |
BinaryExpression(BinaryExpression &&)=default | storm::expressions::BinaryExpression | |
containsVariables() const override | storm::expressions::BinaryExpression | virtual |
evaluateAsBool(Valuation const *valuation=nullptr) const | storm::expressions::BaseExpression | virtual |
evaluateAsDouble(Valuation const *valuation=nullptr) const | storm::expressions::BaseExpression | virtual |
evaluateAsInt(Valuation const *valuation=nullptr) const | storm::expressions::BaseExpression | virtual |
evaluateAsRational() const | storm::expressions::BaseExpression | virtual |
gatherVariables(std::set< storm::expressions::Variable > &variables) const override | storm::expressions::BinaryExpression | virtual |
getArity() const override | storm::expressions::BinaryExpression | virtual |
getFirstOperand() const | storm::expressions::BinaryExpression | |
getIdentifier() const | storm::expressions::BaseExpression | virtual |
getManager() const | storm::expressions::BaseExpression | |
getOperand(uint_fast64_t operandIndex) const override | storm::expressions::BinaryExpression | virtual |
getOperator() const | storm::expressions::BaseExpression | virtual |
getSecondOperand() const | storm::expressions::BinaryExpression | |
getSharedPointer() const | storm::expressions::BaseExpression | |
getType() const | storm::expressions::BaseExpression | |
hasBitVectorType() const | storm::expressions::BaseExpression | |
hasBooleanType() const | storm::expressions::BaseExpression | |
hasIntegerType() const | storm::expressions::BaseExpression | |
hasNumericalType() const | storm::expressions::BaseExpression | |
hasRationalType() const | storm::expressions::BaseExpression | |
isBinaryBooleanFunctionExpression() const | storm::expressions::BaseExpression | virtual |
isBinaryNumericalFunctionExpression() const | storm::expressions::BaseExpression | virtual |
isBinaryRelationExpression() const | storm::expressions::BaseExpression | virtual |
isBooleanLiteralExpression() const | storm::expressions::BaseExpression | virtual |
isFalse() const | storm::expressions::BaseExpression | virtual |
isFunctionApplication() const override | storm::expressions::BinaryExpression | virtual |
isIfThenElseExpression() const | storm::expressions::BaseExpression | virtual |
isIntegerLiteralExpression() const | storm::expressions::BaseExpression | virtual |
isLiteral() const | storm::expressions::BaseExpression | virtual |
isPredicateExpression() const | storm::expressions::BaseExpression | virtual |
isRationalLiteralExpression() const | storm::expressions::BaseExpression | virtual |
isTrue() const | storm::expressions::BaseExpression | virtual |
isUnaryBooleanFunctionExpression() const | storm::expressions::BaseExpression | virtual |
isUnaryNumericalFunctionExpression() const | storm::expressions::BaseExpression | virtual |
isVariable() const | storm::expressions::BaseExpression | virtual |
isVariableExpression() const | storm::expressions::BaseExpression | virtual |
operator=(ArrayAccessExpression const &other)=delete | storm::expressions::ArrayAccessExpression | |
operator=(ArrayAccessExpression &&)=delete | storm::expressions::ArrayAccessExpression | |
storm::expressions::BinaryExpression::operator=(BinaryExpression const &other)=delete | storm::expressions::BinaryExpression | |
storm::expressions::BinaryExpression::operator=(BinaryExpression &&)=delete | storm::expressions::BinaryExpression | |
storm::expressions::BaseExpression::operator=(BaseExpression const &)=delete | storm::expressions::BaseExpression | |
storm::expressions::BaseExpression::operator=(BaseExpression &&)=delete | storm::expressions::BaseExpression | |
printToStream(std::ostream &stream) const override | storm::expressions::ArrayAccessExpression | protectedvirtual |
reduceNesting() const | storm::expressions::BaseExpression | |
simplify() const override | storm::expressions::ArrayAccessExpression | virtual |
toExpression() const | storm::expressions::BaseExpression | |
~ArrayAccessExpression()=default | storm::expressions::ArrayAccessExpression | virtual |
~BaseExpression()=default | storm::expressions::BaseExpression | virtual |
~BinaryExpression()=default | storm::expressions::BinaryExpression | virtual |