storm::expressions::BinaryExpression Member List

This is the complete list of members for storm::expressions::BinaryExpression, including all inherited members.

accept(ExpressionVisitor &visitor, boost::any const &data) const =0	storm::expressions::BaseExpression	pure virtual
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=(BinaryExpression const &other)=delete	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 =0	storm::expressions::BaseExpression	protectedpure virtual
reduceNesting() const	storm::expressions::BaseExpression
simplify() const =0	storm::expressions::BaseExpression	pure virtual
toExpression() const	storm::expressions::BaseExpression
~BaseExpression()=default	storm::expressions::BaseExpression	virtual
~BinaryExpression()=default	storm::expressions::BinaryExpression	virtual