storm::expressions::VariableExpression Member List

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

accept(ExpressionVisitor &visitor, boost::any const &data) const override	storm::expressions::VariableExpression	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
containsVariables() const override	storm::expressions::VariableExpression	virtual
evaluateAsBool(Valuation const *valuation=nullptr) const override	storm::expressions::VariableExpression	virtual
evaluateAsDouble(Valuation const *valuation=nullptr) const override	storm::expressions::VariableExpression	virtual
evaluateAsInt(Valuation const *valuation=nullptr) const override	storm::expressions::VariableExpression	virtual
evaluateAsRational() const	storm::expressions::BaseExpression	virtual
gatherVariables(std::set< storm::expressions::Variable > &variables) const override	storm::expressions::VariableExpression	virtual
getArity() const	storm::expressions::BaseExpression	virtual
getIdentifier() const override	storm::expressions::VariableExpression	virtual
getManager() const	storm::expressions::BaseExpression
getOperand(uint_fast64_t operandIndex) const	storm::expressions::BaseExpression	virtual
getOperator() const	storm::expressions::BaseExpression	virtual
getSharedPointer() const	storm::expressions::BaseExpression
getType() const	storm::expressions::BaseExpression
getVariable() const	storm::expressions::VariableExpression
getVariableName() const	storm::expressions::VariableExpression
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	storm::expressions::BaseExpression	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 override	storm::expressions::VariableExpression	virtual
isVariableExpression() const override	storm::expressions::VariableExpression	virtual
operator=(VariableExpression const &)=delete	storm::expressions::VariableExpression
operator=(VariableExpression &&)=delete	storm::expressions::VariableExpression
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::VariableExpression	protectedvirtual
reduceNesting() const	storm::expressions::BaseExpression
simplify() const override	storm::expressions::VariableExpression	virtual
toExpression() const	storm::expressions::BaseExpression
VariableExpression(Variable const &variable)	storm::expressions::VariableExpression
VariableExpression(VariableExpression const &)=default	storm::expressions::VariableExpression
VariableExpression(VariableExpression &&)=default	storm::expressions::VariableExpression
~BaseExpression()=default	storm::expressions::BaseExpression	virtual
~VariableExpression()=default	storm::expressions::VariableExpression	virtual