Storm
A Modern Probabilistic Model Checker
|
The base class of all valuations of variables. More...
#include <Valuation.h>
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. | |
The base class of all valuations of variables.
This is, for example, used for evaluating expressions.
Definition at line 16 of file Valuation.h.
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.
manager | The manager of the variables. |
Definition at line 6 of file Valuation.cpp.
|
virtual |
Declare virtual destructor, so we can properly delete instances later.
Definition at line 10 of file Valuation.cpp.
|
pure virtual |
Retrieves the value of the given bit vector variable.
bitVectorVariable | The bit vector variable whose value to retrieve. |
Implemented in storm::expressions::SimpleValuation.
|
pure virtual |
Retrieves the value of the given boolean variable.
booleanVariable | The boolean variable whose value to retrieve. |
Implemented in storm::expressions::SimpleValuation.
|
pure virtual |
Retrieves the value of the given integer variable.
integerVariable | The integer variable whose value to retrieve. |
Implemented in storm::expressions::SimpleValuation.
ExpressionManager const & storm::expressions::Valuation::getManager | ( | ) | const |
Retrieves the manager responsible for the variables of this valuation.
Definition at line 14 of file Valuation.cpp.
|
protected |
Retrieves the manager responsible for the variables of this valuation.
Definition at line 18 of file Valuation.cpp.
|
pure virtual |
Retrieves the value of the given rational variable.
rationalVariable | The rational variable whose value to retrieve. |
Implemented in storm::expressions::SimpleValuation.
|
pure virtual |
Sets the value of the given bit vector variable to the provided value.
bitVectorVariable | The variable whose value to set. |
value | The new value of the variable. |
Implemented in storm::expressions::SimpleValuation.
|
pure virtual |
Sets the value of the given boolean variable to the provided value.
booleanVariable | The variable whose value to set. |
value | The new value of the variable. |
Implemented in storm::expressions::SimpleValuation.
|
pure virtual |
Sets the value of the given integer variable to the provided value.
integerVariable | The variable whose value to set. |
value | The new value of the variable. |
Implemented in storm::expressions::SimpleValuation.
|
protected |
Sets the manager responsible for the variables in this valuation.
manager | The manager to set. |
Definition at line 22 of file Valuation.cpp.
|
pure virtual |
Sets the value of the given boolean variable to the provided value.
integerVariable | The variable whose value to set. |
value | The new value of the variable. |
Implemented in storm::expressions::SimpleValuation.