Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::expressions::Expression Member List

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

absstorm::expressions::Expressionfriend
accept(ExpressionVisitor &visitor, boost::any const &data) conststorm::expressions::Expression
areSame(storm::expressions::Expression const &other) conststorm::expressions::Expression
ceilstorm::expressions::Expressionfriend
changeManager(ExpressionManager const &newExpressionManager) conststorm::expressions::Expression
containsVariable(std::set< storm::expressions::Variable > const &variables) conststorm::expressions::Expression
containsVariableInITEGuard(std::set< storm::expressions::Variable > const &variables) conststorm::expressions::Expression
containsVariables() conststorm::expressions::Expression
evaluateAsBool(Valuation const *valuation=nullptr) conststorm::expressions::Expression
evaluateAsDouble(Valuation const *valuation=nullptr) conststorm::expressions::Expression
evaluateAsInt(Valuation const *valuation=nullptr) conststorm::expressions::Expression
evaluateAsRational() conststorm::expressions::Expression
Expression()=defaultstorm::expressions::Expression
Expression(Variable const &variable)storm::expressions::Expression
Expression(std::shared_ptr< BaseExpression const > const &expressionPtr)storm::expressions::Expression
Expression(Expression const &other)=defaultstorm::expressions::Expression
Expression(Expression &&)=defaultstorm::expressions::Expression
ExpressionManagerstorm::expressions::Expressionfriend
floorstorm::expressions::Expressionfriend
gatherVariables(std::set< storm::expressions::Variable > &variables) conststorm::expressions::Expression
getArity() conststorm::expressions::Expression
getBaseExpression() conststorm::expressions::Expression
getBaseExpressionPointer() conststorm::expressions::Expression
getCompiledExpression() conststorm::expressions::Expression
getIdentifier() conststorm::expressions::Expression
getManager() conststorm::expressions::Expression
getOperand(uint_fast64_t operandIndex) conststorm::expressions::Expression
getOperator() conststorm::expressions::Expression
getType() conststorm::expressions::Expression
getVariables() conststorm::expressions::Expression
hasBitVectorType() conststorm::expressions::Expression
hasBooleanType() conststorm::expressions::Expression
hasCompiledExpression() conststorm::expressions::Expression
hasIntegerType() conststorm::expressions::Expression
hasNumericalType() conststorm::expressions::Expression
hasRationalType() conststorm::expressions::Expression
iffstorm::expressions::Expressionfriend
impliesstorm::expressions::Expressionfriend
isFalse() conststorm::expressions::Expression
isFunctionApplication() conststorm::expressions::Expression
isInitialized() conststorm::expressions::Expression
isLinear() conststorm::expressions::Expression
isLiteral() conststorm::expressions::Expression
isRelationalExpression() conststorm::expressions::Expression
isSyntacticallyEqual(storm::expressions::Expression const &other) conststorm::expressions::Expression
isTrue() conststorm::expressions::Expression
isVariable() conststorm::expressions::Expression
itestorm::expressions::Expressionfriend
maximumstorm::expressions::Expressionfriend
minimumstorm::expressions::Expressionfriend
operator!storm::expressions::Expressionfriend
operator!=storm::expressions::Expressionfriend
operator%storm::expressions::Expressionfriend
operator&&storm::expressions::Expressionfriend
operator*storm::expressions::Expressionfriend
operator+storm::expressions::Expressionfriend
operator+storm::expressions::Expressionfriend
operator+storm::expressions::Expressionfriend
operator-storm::expressions::Expressionfriend
operator-storm::expressions::Expressionfriend
operator-storm::expressions::Expressionfriend
operator-storm::expressions::Expressionfriend
operator/storm::expressions::Expressionfriend
operator<storm::expressions::Expressionfriend
operator<storm::expressions::Expressionfriend
operator<<storm::expressions::Expressionfriend
operator<=storm::expressions::Expressionfriend
operator<=storm::expressions::Expressionfriend
operator=(Expression const &other)=defaultstorm::expressions::Expression
operator=(Expression &&)=defaultstorm::expressions::Expression
operator==storm::expressions::Expressionfriend
operator>storm::expressions::Expressionfriend
operator>storm::expressions::Expressionfriend
operator>=storm::expressions::Expressionfriend
operator>=storm::expressions::Expressionfriend
operator||storm::expressions::Expressionfriend
powstorm::expressions::Expressionfriend
reduceNesting() conststorm::expressions::Expression
roundstorm::expressions::Expressionfriend
setCompiledExpression(std::shared_ptr< CompiledExpression > const &compiledExpression) conststorm::expressions::Expression
signstorm::expressions::Expressionfriend
simplify() conststorm::expressions::Expression
substitute(std::map< Variable, Expression > const &variableToExpressionMap) conststorm::expressions::Expression
substitute(std::unordered_map< Variable, Expression > const &variableToExpressionMap) conststorm::expressions::Expression
substituteNonStandardPredicates() conststorm::expressions::Expression
SubstitutionVisitorstorm::expressions::Expressionfriend
toString() conststorm::expressions::Expression
truncatestorm::expressions::Expressionfriend
Variablestorm::expressions::Expressionfriend
xclusiveorstorm::expressions::Expressionfriend
~Expression()storm::expressions::Expression