The base class of all valuations of variables. More...

#include <Valuation.h>

Inheritance diagram for storm::expressions::Valuation:

Public Member Functions
	Valuation (std::shared_ptr< ExpressionManager const > const &manager)
	Creates a valuation of all non-auxiliary variables managed by the given manager.

virtual	~Valuation ()
	Declare virtual destructor, so we can properly delete instances later.

virtual bool	getBooleanValue (Variable const &booleanVariable) const =0
	Retrieves the value of the given boolean variable.

virtual void	setBooleanValue (Variable const &booleanVariable, bool value)=0
	Sets the value of the given boolean variable to the provided value.

virtual int_fast64_t	getIntegerValue (Variable const &integerVariable) const =0
	Retrieves the value of the given integer variable.

virtual int_fast64_t	getBitVectorValue (Variable const &bitVectorVariable) const =0
	Retrieves the value of the given bit vector variable.

virtual void	setIntegerValue (Variable const &integerVariable, int_fast64_t value)=0
	Sets the value of the given integer variable to the provided value.

virtual void	setBitVectorValue (Variable const &bitVectorVariable, int_fast64_t value)=0
	Sets the value of the given bit vector variable to the provided value.

virtual double	getRationalValue (Variable const &rationalVariable) const =0
	Retrieves the value of the given rational variable.

virtual void	setRationalValue (Variable const &rationalVariable, double value)=0
	Sets the value of the given boolean variable to the provided value.

ExpressionManager const &	getManager () const
	Retrieves the manager responsible for the variables of this valuation.

Protected Member Functions
std::shared_ptr< ExpressionManager const > const &	getManagerAsSharedPtr () const
	Retrieves the manager responsible for the variables of this valuation.

void	setManager (std::shared_ptr< ExpressionManager const > const &manager)
	Sets the manager responsible for the variables in this valuation.

Detailed Description

The base class of all valuations of variables.

This is, for example, used for evaluating expressions.

Definition at line 16 of file Valuation.h.

Constructor & Destructor Documentation

◆ Valuation()

storm::expressions::Valuation::Valuation ( std::shared_ptr< ExpressionManager const > const & manager )

Creates a valuation of all non-auxiliary variables managed by the given manager.

If the manager is modified in the sense that additional variables are added, all valuations over its variables are invalidated.

Parameters

manager The manager of the variables.

Definition at line 6 of file Valuation.cpp.

◆ ~Valuation()

storm::expressions::Valuation::~Valuation ( )

virtual

Declare virtual destructor, so we can properly delete instances later.

Definition at line 10 of file Valuation.cpp.

Member Function Documentation

◆ getBitVectorValue()

virtual int_fast64_t storm::expressions::Valuation::getBitVectorValue ( Variable const & bitVectorVariable ) const

pure virtual

Retrieves the value of the given bit vector variable.

Parameters

bitVectorVariable The bit vector variable whose value to retrieve.

Returns: The value of the bit vector variable.

Implemented in storm::expressions::SimpleValuation.

◆ getBooleanValue()

virtual bool storm::expressions::Valuation::getBooleanValue ( Variable const & booleanVariable ) const

pure virtual

Retrieves the value of the given boolean variable.

Parameters

booleanVariable The boolean variable whose value to retrieve.

Returns: The value of the boolean variable.

Implemented in storm::expressions::SimpleValuation.

◆ getIntegerValue()

virtual int_fast64_t storm::expressions::Valuation::getIntegerValue ( Variable const & integerVariable ) const

pure virtual

Retrieves the value of the given integer variable.

Parameters

integerVariable The integer variable whose value to retrieve.

Returns: The value of the integer variable.

Implemented in storm::expressions::SimpleValuation.

◆ getManager()

ExpressionManager const & storm::expressions::Valuation::getManager ( ) const

Retrieves the manager responsible for the variables of this valuation.

Returns: The manager.

Definition at line 14 of file Valuation.cpp.

◆ getManagerAsSharedPtr()

std::shared_ptr< ExpressionManager const > const & storm::expressions::Valuation::getManagerAsSharedPtr ( ) const

protected

Retrieves the manager responsible for the variables of this valuation.

Returns: The manager.

Definition at line 18 of file Valuation.cpp.

◆ getRationalValue()

virtual double storm::expressions::Valuation::getRationalValue ( Variable const & rationalVariable ) const

pure virtual

Retrieves the value of the given rational variable.

Parameters

rationalVariable The rational variable whose value to retrieve.

Returns: The value of the rational variable.

Implemented in storm::expressions::SimpleValuation.

◆ setBitVectorValue()

virtual void storm::expressions::Valuation::setBitVectorValue	(	Variable const &	bitVectorVariable,
		int_fast64_t	value
	)

pure virtual

Sets the value of the given bit vector variable to the provided value.

Parameters

bitVectorVariable	The variable whose value to set.
value	The new value of the variable.

Implemented in storm::expressions::SimpleValuation.

◆ setBooleanValue()

virtual void storm::expressions::Valuation::setBooleanValue	(	Variable const &	booleanVariable,
		bool	value
	)

pure virtual

Sets the value of the given boolean variable to the provided value.

Parameters

booleanVariable	The variable whose value to set.
value	The new value of the variable.

Implemented in storm::expressions::SimpleValuation.

◆ setIntegerValue()

virtual void storm::expressions::Valuation::setIntegerValue	(	Variable const &	integerVariable,
		int_fast64_t	value
	)

pure virtual

Sets the value of the given integer variable to the provided value.

Parameters

integerVariable	The variable whose value to set.
value	The new value of the variable.

Implemented in storm::expressions::SimpleValuation.

◆ setManager()

void storm::expressions::Valuation::setManager ( std::shared_ptr< ExpressionManager const > const & manager )

protected

Sets the manager responsible for the variables in this valuation.

Parameters

manager The manager to set.

Definition at line 22 of file Valuation.cpp.

◆ setRationalValue()

virtual void storm::expressions::Valuation::setRationalValue	(	Variable const &	rationalVariable,
		double	value
	)

pure virtual

Sets the value of the given boolean variable to the provided value.

Parameters

integerVariable	The variable whose value to set.
value	The new value of the variable.

Implemented in storm::expressions::SimpleValuation.

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

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

Public Member Functions

Protected Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ Valuation()

◆ ~Valuation()

Member Function Documentation

◆ getBitVectorValue()

◆ getBooleanValue()

◆ getIntegerValue()

◆ getManager()

◆ getManagerAsSharedPtr()

◆ getRationalValue()

◆ setBitVectorValue()

◆ setBooleanValue()

◆ setIntegerValue()

◆ setManager()

◆ setRationalValue()