storm::expressions::Expression Member List

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

abs(Expression const &first)	storm::expressions::Expression	friend
accept(ExpressionVisitor &visitor, boost::any const &data) const	storm::expressions::Expression
areSame(storm::expressions::Expression const &other) const	storm::expressions::Expression
ceil(Expression const &first)	storm::expressions::Expression	friend
changeManager(ExpressionManager const &newExpressionManager) const	storm::expressions::Expression
containsVariable(std::set< storm::expressions::Variable > const &variables) const	storm::expressions::Expression
containsVariableInITEGuard(std::set< storm::expressions::Variable > const &variables) const	storm::expressions::Expression
containsVariables() const	storm::expressions::Expression
evaluateAsBool(Valuation const *valuation=nullptr) const	storm::expressions::Expression
evaluateAsDouble(Valuation const *valuation=nullptr) const	storm::expressions::Expression
evaluateAsInt(Valuation const *valuation=nullptr) const	storm::expressions::Expression
evaluateAsRational() const	storm::expressions::Expression
Expression()=default	storm::expressions::Expression
Expression(Variable const &variable)	storm::expressions::Expression
Expression(std::shared_ptr< BaseExpression const > const &expressionPtr)	storm::expressions::Expression
Expression(Expression const &other)=default	storm::expressions::Expression
Expression(Expression &&)=default	storm::expressions::Expression
ExpressionManager class	storm::expressions::Expression	friend
floor(Expression const &first)	storm::expressions::Expression	friend
gatherVariables(std::set< storm::expressions::Variable > &variables) const	storm::expressions::Expression
getArity() const	storm::expressions::Expression
getBaseExpression() const	storm::expressions::Expression
getBaseExpressionPointer() const	storm::expressions::Expression
getCompiledExpression() const	storm::expressions::Expression
getIdentifier() const	storm::expressions::Expression
getManager() const	storm::expressions::Expression
getOperand(uint_fast64_t operandIndex) const	storm::expressions::Expression
getOperator() const	storm::expressions::Expression
getType() const	storm::expressions::Expression
getVariables() const	storm::expressions::Expression
hasBitVectorType() const	storm::expressions::Expression
hasBooleanType() const	storm::expressions::Expression
hasCompiledExpression() const	storm::expressions::Expression
hasIntegerType() const	storm::expressions::Expression
hasNumericalType() const	storm::expressions::Expression
hasRationalType() const	storm::expressions::Expression
iff(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
implies(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
isFalse() const	storm::expressions::Expression
isFunctionApplication() const	storm::expressions::Expression
isInitialized() const	storm::expressions::Expression
isLinear() const	storm::expressions::Expression
isLiteral() const	storm::expressions::Expression
isRelationalExpression() const	storm::expressions::Expression
isSyntacticallyEqual(storm::expressions::Expression const &other) const	storm::expressions::Expression
isTrue() const	storm::expressions::Expression
isVariable() const	storm::expressions::Expression
ite(Expression const &condition, Expression const &thenExpression, Expression const &elseExpression)	storm::expressions::Expression	friend
maximum(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
minimum(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator!(Expression const &first)	storm::expressions::Expression	friend
operator!=(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator%(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator&&(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator*(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator+(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator+(Expression const &first, int64_t second)	storm::expressions::Expression	friend
operator+(int64_t first, Expression const &second)	storm::expressions::Expression	friend
operator-(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator-(Expression const &first, int64_t second)	storm::expressions::Expression	friend
operator-(int64_t first, Expression const &second)	storm::expressions::Expression	friend
operator-(Expression const &first)	storm::expressions::Expression	friend
operator/(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator<(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator<(Expression const &first, int64_t second)	storm::expressions::Expression	friend
operator<<(std::ostream &stream, Expression const &expression)	storm::expressions::Expression	friend
operator<=(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator<=(Expression const &first, int64_t second)	storm::expressions::Expression	friend
operator=(Expression const &other)=default	storm::expressions::Expression
operator=(Expression &&)=default	storm::expressions::Expression
operator==(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator>(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator>(Expression const &first, int64_t second)	storm::expressions::Expression	friend
operator>=(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
operator>=(Expression const &first, int64_t second)	storm::expressions::Expression	friend
operator||(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
pow(Expression const &base, Expression const &exponent, bool allowIntegerType=false)	storm::expressions::Expression	friend
reduceNesting() const	storm::expressions::Expression
round(Expression const &first)	storm::expressions::Expression	friend
setCompiledExpression(std::shared_ptr< CompiledExpression > const &compiledExpression) const	storm::expressions::Expression
sign(Expression const &first)	storm::expressions::Expression	friend
simplify() const	storm::expressions::Expression
substitute(std::map< Variable, Expression > const &variableToExpressionMap) const	storm::expressions::Expression
substitute(std::unordered_map< Variable, Expression > const &variableToExpressionMap) const	storm::expressions::Expression
substituteNonStandardPredicates() const	storm::expressions::Expression
SubstitutionVisitor class	storm::expressions::Expression	friend
toString() const	storm::expressions::Expression
truncate(Expression const &first)	storm::expressions::Expression	friend
Variable class	storm::expressions::Expression	friend
xclusiveor(Expression const &first, Expression const &second)	storm::expressions::Expression	friend
~Expression()	storm::expressions::Expression