storm::expressions::IntegerLiteralExpression Member List

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

accept(ExpressionVisitor &visitor, boost::any const &data) const override	storm::expressions::IntegerLiteralExpression	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	storm::expressions::BaseExpression	virtual
evaluateAsBool(Valuation const *valuation=nullptr) const	storm::expressions::BaseExpression	virtual
evaluateAsDouble(Valuation const *valuation=nullptr) const override	storm::expressions::IntegerLiteralExpression	virtual
evaluateAsInt(Valuation const *valuation=nullptr) const override	storm::expressions::IntegerLiteralExpression	virtual
evaluateAsRational() const	storm::expressions::BaseExpression	virtual
gatherVariables(std::set< storm::expressions::Variable > &variables) const override	storm::expressions::IntegerLiteralExpression	virtual
getArity() const	storm::expressions::BaseExpression	virtual
getIdentifier() const	storm::expressions::BaseExpression	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
getValue() const	storm::expressions::IntegerLiteralExpression
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
IntegerLiteralExpression(ExpressionManager const &manager, int_fast64_t value)	storm::expressions::IntegerLiteralExpression
IntegerLiteralExpression(IntegerLiteralExpression const &other)=default	storm::expressions::IntegerLiteralExpression
IntegerLiteralExpression(IntegerLiteralExpression &&)=default	storm::expressions::IntegerLiteralExpression
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 override	storm::expressions::IntegerLiteralExpression	virtual
isLiteral() const override	storm::expressions::IntegerLiteralExpression	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=(IntegerLiteralExpression const &other)=delete	storm::expressions::IntegerLiteralExpression
operator=(IntegerLiteralExpression &&)=delete	storm::expressions::IntegerLiteralExpression
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::IntegerLiteralExpression	protectedvirtual
reduceNesting() const	storm::expressions::BaseExpression
simplify() const override	storm::expressions::IntegerLiteralExpression	virtual
toExpression() const	storm::expressions::BaseExpression
~BaseExpression()=default	storm::expressions::BaseExpression	virtual
~IntegerLiteralExpression()=default	storm::expressions::IntegerLiteralExpression	virtual