#include <UnaryNumericalFunctionExpression.h>

Inheritance diagram for storm::expressions::UnaryNumericalFunctionExpression:

[legend]

Collaboration diagram for storm::expressions::UnaryNumericalFunctionExpression:

[legend]

Public Types
enum class	OperatorType { Minus , Floor , Ceil , Cos , Sin }
	An enum type specifying the different functions applicable. More...

Public Member Functions
	UnaryNumericalFunctionExpression (ExpressionManager const &manager, Type const &type, std::shared_ptr< BaseExpression const > const &operand, OperatorType operatorType)
	Creates a unary numerical function expression with the given return type, operand and operator.

	UnaryNumericalFunctionExpression (UnaryNumericalFunctionExpression const &other)=default

UnaryNumericalFunctionExpression &	operator= (UnaryNumericalFunctionExpression const &other)=delete

	UnaryNumericalFunctionExpression (UnaryNumericalFunctionExpression &&)=default

UnaryNumericalFunctionExpression &	operator= (UnaryNumericalFunctionExpression &&)=delete

virtual	~UnaryNumericalFunctionExpression ()=default

virtual storm::expressions::OperatorType	getOperator () const override
	Retrieves the operator of a function application.

virtual int_fast64_t	evaluateAsInt (Valuation const *valuation=nullptr) const override
	Evaluates the expression under the valuation of unknowns (variables and constants) given by the valuation and returns the resulting integer value.

virtual double	evaluateAsDouble (Valuation const *valuation=nullptr) const override
	Evaluates the expression under the valuation of unknowns (variables and constants) given by the valuation and returns the resulting double value.

virtual std::shared_ptr< BaseExpression const >	simplify () const override
	Simplifies the expression according to some simple rules.

virtual boost::any	accept (ExpressionVisitor &visitor, boost::any const &data) const override
	Accepts the given visitor by calling its visit method.

virtual bool	isUnaryNumericalFunctionExpression () const override

OperatorType	getOperatorType () const
	Retrieves the operator associated with this expression.

Public Member Functions inherited from storm::expressions::UnaryExpression
	UnaryExpression (ExpressionManager const &manager, Type const &type, std::shared_ptr< BaseExpression const > const &operand)
	Creates a unary expression with the given return type and operand.

	UnaryExpression (UnaryExpression const &other)=default

UnaryExpression &	operator= (UnaryExpression const &other)=delete

	UnaryExpression (UnaryExpression &&)=default

UnaryExpression &	operator= (UnaryExpression &&)=delete

virtual	~UnaryExpression ()=default

virtual bool	isFunctionApplication () const override
	Checks if the expression is a function application (of any sort).

virtual bool	containsVariables () const override
	Retrieves whether the expression contains a variable.

virtual uint_fast64_t	getArity () const override
	Returns the arity of the expression.

virtual std::shared_ptr< BaseExpression const >	getOperand (uint_fast64_t operandIndex) const override
	Retrieves the given operand from the expression.

virtual void	gatherVariables (std::set< storm::expressions::Variable > &variables) const override
	Retrieves the set of all variables that appear in the expression.

std::shared_ptr< BaseExpression const > const &	getOperand () const
	Retrieves the operand of the unary expression.

Public Member Functions inherited from storm::expressions::BaseExpression
	BaseExpression (ExpressionManager const &manager, Type const &type)
	Constructs a base expression with the given return type.

	BaseExpression (BaseExpression const &)=default

BaseExpression &	operator= (BaseExpression const &)=delete

	BaseExpression (BaseExpression &&)=default

BaseExpression &	operator= (BaseExpression &&)=delete

virtual	~BaseExpression ()=default

Expression	toExpression () const
	Converts the base expression to a proper expression.

virtual bool	evaluateAsBool (Valuation const *valuation=nullptr) const
	Evaluates the expression under the valuation of unknowns (variables and constants) given by the valuation and returns the resulting boolean value.

virtual storm::RationalNumber	evaluateAsRational () const
	Evaluates the expression and returns the resulting rational number.

virtual std::string const &	getIdentifier () const
	Retrieves the identifier associated with this expression.

virtual bool	isLiteral () const
	Retrieves whether the expression is a literal.

virtual bool	isVariable () const
	Retrieves whether the expression is a variable.

virtual bool	isTrue () const
	Checks if the expression is equal to the boolean literal true.

virtual bool	isFalse () const
	Checks if the expression is equal to the boolean literal false.

std::shared_ptr< BaseExpression const >	reduceNesting () const
	Tries to flatten the syntax tree of the expression, e.g., 1 + (2 + (3 + 4)) becomes (1 + 2) + (3 + 4)

bool	hasNumericalType () const
	Retrieves whether the expression has a numerical type, i.e., integer or double.

bool	hasIntegerType () const
	Retrieves whether the expression has an integer type.

bool	hasBitVectorType () const
	Retrieves whether the expression has a bitvector type.

bool	hasBooleanType () const
	Retrieves whether the expression has a boolean type.

bool	hasRationalType () const
	Retrieves whether the expression has a rational return type.

std::shared_ptr< BaseExpression const >	getSharedPointer () const
	Retrieves a shared pointer to this expression.

ExpressionManager const &	getManager () const
	Retrieves the manager responsible for this expression.

Type const &	getType () const
	Retrieves the type of the expression.

virtual bool	isIfThenElseExpression () const

IfThenElseExpression const &	asIfThenElseExpression () const

virtual bool	isBinaryBooleanFunctionExpression () const

BinaryBooleanFunctionExpression const &	asBinaryBooleanFunctionExpression () const

virtual bool	isBinaryNumericalFunctionExpression () const

BinaryNumericalFunctionExpression const &	asBinaryNumericalFunctionExpression () const

virtual bool	isBinaryRelationExpression () const

BinaryRelationExpression const &	asBinaryRelationExpression () const

virtual bool	isBooleanLiteralExpression () const

BooleanLiteralExpression const &	asBooleanLiteralExpression () const

virtual bool	isIntegerLiteralExpression () const

IntegerLiteralExpression const &	asIntegerLiteralExpression () const

virtual bool	isRationalLiteralExpression () const

RationalLiteralExpression const &	asRationalLiteralExpression () const

virtual bool	isUnaryBooleanFunctionExpression () const

UnaryBooleanFunctionExpression const &	asUnaryBooleanFunctionExpression () const

UnaryNumericalFunctionExpression const &	asUnaryNumericalFunctionExpression () const

virtual bool	isVariableExpression () const

VariableExpression const &	asVariableExpression () const

virtual bool	isPredicateExpression () const

PredicateExpression const &	asPredicateExpression () const

Protected Member Functions
virtual void	printToStream (std::ostream &stream) const override
	Prints the expression to the given stream.

Detailed Description

Definition at line 9 of file UnaryNumericalFunctionExpression.h.

Member Enumeration Documentation

◆ OperatorType

enum class storm::expressions::UnaryNumericalFunctionExpression::OperatorType

strong

An enum type specifying the different functions applicable.

Enumerator
Minus
Floor
Ceil
Cos
Sin

Definition at line 14 of file UnaryNumericalFunctionExpression.h.

Constructor & Destructor Documentation

◆ UnaryNumericalFunctionExpression() [1/3]

storm::expressions::UnaryNumericalFunctionExpression::UnaryNumericalFunctionExpression	(	ExpressionManager const &	manager,
		Type const &	type,
		std::shared_ptr< BaseExpression const > const &	operand,
		OperatorType	operatorType
	)

Creates a unary numerical function expression with the given return type, operand and operator.

Parameters

manager	The manager responsible for this expression.
type	The return type of the expression.
operand	The operand of the expression.
operatorType	The operator of the expression.

Definition at line 17 of file UnaryNumericalFunctionExpression.cpp.

◆ UnaryNumericalFunctionExpression() [2/3]

storm::expressions::UnaryNumericalFunctionExpression::UnaryNumericalFunctionExpression ( UnaryNumericalFunctionExpression const & other )

default

◆ UnaryNumericalFunctionExpression() [3/3]

storm::expressions::UnaryNumericalFunctionExpression::UnaryNumericalFunctionExpression ( UnaryNumericalFunctionExpression && )

default

◆ ~UnaryNumericalFunctionExpression()

virtual storm::expressions::UnaryNumericalFunctionExpression::~UnaryNumericalFunctionExpression ( )

virtualdefault

Member Function Documentation

◆ accept()

boost::any storm::expressions::UnaryNumericalFunctionExpression::accept	(	ExpressionVisitor &	visitor,
		boost::any const &	data
	)		const

overridevirtual

Accepts the given visitor by calling its visit method.

Parameters

visitor The visitor that is to be accepted.

Implements storm::expressions::BaseExpression.

Definition at line 165 of file UnaryNumericalFunctionExpression.cpp.

◆ evaluateAsDouble()

double storm::expressions::UnaryNumericalFunctionExpression::evaluateAsDouble ( Valuation const * valuation = nullptr ) const

overridevirtual

Evaluates the expression under the valuation of unknowns (variables and constants) given by the valuation and returns the resulting double value.

If the return type of the expression is not a double an exception is thrown.

Parameters

valuation The valuation of unknowns under which to evaluate the expression.

Returns: The double value of the expression under the given valuation.

Reimplemented from storm::expressions::BaseExpression.

Definition at line 73 of file UnaryNumericalFunctionExpression.cpp.

◆ evaluateAsInt()

int_fast64_t storm::expressions::UnaryNumericalFunctionExpression::evaluateAsInt ( Valuation const * valuation = nullptr ) const

overridevirtual

Evaluates the expression under the valuation of unknowns (variables and constants) given by the valuation and returns the resulting integer value.

If the return type of the expression is not an integer an exception is thrown.

Parameters

valuation The valuation of unknowns under which to evaluate the expression.

Returns: The integer value of the expression under the given valuation.

Reimplemented from storm::expressions::BaseExpression.

Definition at line 49 of file UnaryNumericalFunctionExpression.cpp.

◆ getOperator()

storm::expressions::OperatorType storm::expressions::UnaryNumericalFunctionExpression::getOperator ( ) const

overridevirtual

Retrieves the operator of a function application.

This is only legal to call if the expression is function application.

Returns: The operator associated with the function application.

Reimplemented from storm::expressions::BaseExpression.

Definition at line 27 of file UnaryNumericalFunctionExpression.cpp.

◆ getOperatorType()

UnaryNumericalFunctionExpression::OperatorType storm::expressions::UnaryNumericalFunctionExpression::getOperatorType ( ) const

Retrieves the operator associated with this expression.

Returns: The operator associated with this expression.

Definition at line 23 of file UnaryNumericalFunctionExpression.cpp.

◆ isUnaryNumericalFunctionExpression()

bool storm::expressions::UnaryNumericalFunctionExpression::isUnaryNumericalFunctionExpression ( ) const

overridevirtual

Reimplemented from storm::expressions::BaseExpression.

Definition at line 169 of file UnaryNumericalFunctionExpression.cpp.

◆ operator=() [1/2]

UnaryNumericalFunctionExpression & storm::expressions::UnaryNumericalFunctionExpression::operator= ( UnaryNumericalFunctionExpression && )

delete

◆ operator=() [2/2]

UnaryNumericalFunctionExpression & storm::expressions::UnaryNumericalFunctionExpression::operator= ( UnaryNumericalFunctionExpression const & other )

delete

◆ printToStream()

void storm::expressions::UnaryNumericalFunctionExpression::printToStream ( std::ostream & stream ) const

overrideprotectedvirtual

Prints the expression to the given stream.

Parameters

stream The stream to which to write the expression.

Implements storm::expressions::BaseExpression.

Definition at line 173 of file UnaryNumericalFunctionExpression.cpp.

◆ simplify()

std::shared_ptr< BaseExpression const > storm::expressions::UnaryNumericalFunctionExpression::simplify ( ) const

overridevirtual

Simplifies the expression according to some simple rules.

Returns: A pointer to the simplified expression.

Implements storm::expressions::BaseExpression.

Definition at line 97 of file UnaryNumericalFunctionExpression.cpp.

The documentation for this class was generated from the following files:

src/storm/storage/expressions/UnaryNumericalFunctionExpression.h
src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp

Public Types

Public Member Functions

Protected Member Functions

Detailed Description

Member Enumeration Documentation

◆ OperatorType

Constructor & Destructor Documentation

◆ UnaryNumericalFunctionExpression() [1/3]

◆ UnaryNumericalFunctionExpression() [2/3]

◆ UnaryNumericalFunctionExpression() [3/3]

◆ ~UnaryNumericalFunctionExpression()

Member Function Documentation

◆ accept()

◆ evaluateAsDouble()

◆ evaluateAsInt()

◆ getOperator()

◆ getOperatorType()

◆ isUnaryNumericalFunctionExpression()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ printToStream()

◆ simplify()