storm::expressions::PredicateExpression Member List

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

accept(ExpressionVisitor &visitor, boost::any const &data) const override	storm::expressions::PredicateExpression	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::PredicateExpression	virtual
evaluateAsBool(Valuation const *valuation=nullptr) const override	storm::expressions::PredicateExpression	virtual
evaluateAsDouble(Valuation const *valuation=nullptr) const	storm::expressions::BaseExpression	virtual
evaluateAsInt(Valuation const *valuation=nullptr) const	storm::expressions::BaseExpression	virtual
evaluateAsRational() const	storm::expressions::BaseExpression	virtual
gatherVariables(std::set< storm::expressions::Variable > &variables) const override	storm::expressions::PredicateExpression	virtual
getArity() const override	storm::expressions::PredicateExpression	virtual
getIdentifier() const	storm::expressions::BaseExpression	virtual
getManager() const	storm::expressions::BaseExpression
getOperand(uint_fast64_t operandIndex) const override	storm::expressions::PredicateExpression	virtual
getOperator() const override	storm::expressions::PredicateExpression	virtual
getPredicateType() const	storm::expressions::PredicateExpression
getSharedPointer() const	storm::expressions::BaseExpression
getType() const	storm::expressions::BaseExpression
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 override	storm::expressions::PredicateExpression	virtual
isIfThenElseExpression() const	storm::expressions::BaseExpression	virtual
isIntegerLiteralExpression() const	storm::expressions::BaseExpression	virtual
isLiteral() const	storm::expressions::BaseExpression	virtual
isPredicateExpression() const override	storm::expressions::PredicateExpression	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=(PredicateExpression const &other)=delete	storm::expressions::PredicateExpression
operator=(PredicateExpression &&)=delete	storm::expressions::PredicateExpression
storm::expressions::BaseExpression::operator=(BaseExpression const &)=delete	storm::expressions::BaseExpression
storm::expressions::BaseExpression::operator=(BaseExpression &&)=delete	storm::expressions::BaseExpression
PredicateExpression(ExpressionManager const &manager, Type const &type, std::vector< std::shared_ptr< BaseExpression const > > const &operands, PredicateType predicateType)	storm::expressions::PredicateExpression
PredicateExpression(PredicateExpression const &other)=default	storm::expressions::PredicateExpression
PredicateExpression(PredicateExpression &&)=default	storm::expressions::PredicateExpression
PredicateType enum name	storm::expressions::PredicateExpression
printToStream(std::ostream &stream) const override	storm::expressions::PredicateExpression	protectedvirtual
reduceNesting() const	storm::expressions::BaseExpression
simplify() const override	storm::expressions::PredicateExpression	virtual
toExpression() const	storm::expressions::BaseExpression
~BaseExpression()=default	storm::expressions::BaseExpression	virtual
~PredicateExpression()=default	storm::expressions::PredicateExpression	virtual