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

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

accept(ExpressionVisitor &visitor, boost::any const &data) const overridestorm::expressions::BinaryNumericalFunctionExpressionvirtual
asBinaryBooleanFunctionExpression() conststorm::expressions::BaseExpression
asBinaryNumericalFunctionExpression() conststorm::expressions::BaseExpression
asBinaryRelationExpression() conststorm::expressions::BaseExpression
asBooleanLiteralExpression() conststorm::expressions::BaseExpression
asIfThenElseExpression() conststorm::expressions::BaseExpression
asIntegerLiteralExpression() conststorm::expressions::BaseExpression
asPredicateExpression() conststorm::expressions::BaseExpression
asRationalLiteralExpression() conststorm::expressions::BaseExpression
asUnaryBooleanFunctionExpression() conststorm::expressions::BaseExpression
asUnaryNumericalFunctionExpression() conststorm::expressions::BaseExpression
asVariableExpression() conststorm::expressions::BaseExpression
BaseExpression(ExpressionManager const &manager, Type const &type)storm::expressions::BaseExpression
BaseExpression(BaseExpression const &)=defaultstorm::expressions::BaseExpression
BaseExpression(BaseExpression &&)=defaultstorm::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)=defaultstorm::expressions::BinaryExpression
BinaryExpression(BinaryExpression &&)=defaultstorm::expressions::BinaryExpression
BinaryNumericalFunctionExpression(ExpressionManager const &manager, Type const &type, std::shared_ptr< BaseExpression const > const &firstOperand, std::shared_ptr< BaseExpression const > const &secondOperand, OperatorType operatorType)storm::expressions::BinaryNumericalFunctionExpression
BinaryNumericalFunctionExpression(BinaryNumericalFunctionExpression const &other)=defaultstorm::expressions::BinaryNumericalFunctionExpression
BinaryNumericalFunctionExpression(BinaryNumericalFunctionExpression &&)=defaultstorm::expressions::BinaryNumericalFunctionExpression
containsVariables() const overridestorm::expressions::BinaryExpressionvirtual
evaluateAsBool(Valuation const *valuation=nullptr) conststorm::expressions::BaseExpressionvirtual
evaluateAsDouble(Valuation const *valuation=nullptr) const overridestorm::expressions::BinaryNumericalFunctionExpressionvirtual
evaluateAsInt(Valuation const *valuation=nullptr) const overridestorm::expressions::BinaryNumericalFunctionExpressionvirtual
evaluateAsRational() conststorm::expressions::BaseExpressionvirtual
gatherVariables(std::set< storm::expressions::Variable > &variables) const overridestorm::expressions::BinaryExpressionvirtual
getArity() const overridestorm::expressions::BinaryExpressionvirtual
getFirstOperand() conststorm::expressions::BinaryExpression
getIdentifier() conststorm::expressions::BaseExpressionvirtual
getManager() conststorm::expressions::BaseExpression
getOperand(uint_fast64_t operandIndex) const overridestorm::expressions::BinaryExpressionvirtual
getOperator() const overridestorm::expressions::BinaryNumericalFunctionExpressionvirtual
getOperatorType() conststorm::expressions::BinaryNumericalFunctionExpression
getSecondOperand() conststorm::expressions::BinaryExpression
getSharedPointer() conststorm::expressions::BaseExpression
getType() conststorm::expressions::BaseExpression
hasBitVectorType() conststorm::expressions::BaseExpression
hasBooleanType() conststorm::expressions::BaseExpression
hasIntegerType() conststorm::expressions::BaseExpression
hasNumericalType() conststorm::expressions::BaseExpression
hasRationalType() conststorm::expressions::BaseExpression
isBinaryBooleanFunctionExpression() conststorm::expressions::BaseExpressionvirtual
isBinaryNumericalFunctionExpression() const overridestorm::expressions::BinaryNumericalFunctionExpressionvirtual
isBinaryRelationExpression() conststorm::expressions::BaseExpressionvirtual
isBooleanLiteralExpression() conststorm::expressions::BaseExpressionvirtual
isFalse() conststorm::expressions::BaseExpressionvirtual
isFunctionApplication() const overridestorm::expressions::BinaryExpressionvirtual
isIfThenElseExpression() conststorm::expressions::BaseExpressionvirtual
isIntegerLiteralExpression() conststorm::expressions::BaseExpressionvirtual
isLiteral() conststorm::expressions::BaseExpressionvirtual
isPredicateExpression() conststorm::expressions::BaseExpressionvirtual
isRationalLiteralExpression() conststorm::expressions::BaseExpressionvirtual
isTrue() conststorm::expressions::BaseExpressionvirtual
isUnaryBooleanFunctionExpression() conststorm::expressions::BaseExpressionvirtual
isUnaryNumericalFunctionExpression() conststorm::expressions::BaseExpressionvirtual
isVariable() conststorm::expressions::BaseExpressionvirtual
isVariableExpression() conststorm::expressions::BaseExpressionvirtual
operator=(BinaryNumericalFunctionExpression const &other)=deletestorm::expressions::BinaryNumericalFunctionExpression
operator=(BinaryNumericalFunctionExpression &&)=deletestorm::expressions::BinaryNumericalFunctionExpression
storm::expressions::BinaryExpression::operator=(BinaryExpression const &other)=deletestorm::expressions::BinaryExpression
storm::expressions::BinaryExpression::operator=(BinaryExpression &&)=deletestorm::expressions::BinaryExpression
storm::expressions::BaseExpression::operator=(BaseExpression const &)=deletestorm::expressions::BaseExpression
storm::expressions::BaseExpression::operator=(BaseExpression &&)=deletestorm::expressions::BaseExpression
OperatorType enum namestorm::expressions::BinaryNumericalFunctionExpression
printToStream(std::ostream &stream) const overridestorm::expressions::BinaryNumericalFunctionExpressionprotectedvirtual
reduceNesting() conststorm::expressions::BaseExpression
simplify() const overridestorm::expressions::BinaryNumericalFunctionExpressionvirtual
toExpression() conststorm::expressions::BaseExpression
~BaseExpression()=defaultstorm::expressions::BaseExpressionvirtual
~BinaryExpression()=defaultstorm::expressions::BinaryExpressionvirtual
~BinaryNumericalFunctionExpression()=defaultstorm::expressions::BinaryNumericalFunctionExpressionvirtual