Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::expressions::Valuation Class Referenceabstract

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
managerThe 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
bitVectorVariableThe 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
booleanVariableThe 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
integerVariableThe 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
rationalVariableThe 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
bitVectorVariableThe variable whose value to set.
valueThe 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
booleanVariableThe variable whose value to set.
valueThe 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
integerVariableThe variable whose value to set.
valueThe 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
managerThe 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
integerVariableThe variable whose value to set.
valueThe new value of the variable.

Implemented in storm::expressions::SimpleValuation.


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