Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Protected Member Functions | List of all members
storm::expressions::ExpressionEvaluatorBase< RationalReturnType > Class Template Referenceabstract

#include <ExpressionEvaluatorBase.h>

Inheritance diagram for storm::expressions::ExpressionEvaluatorBase< RationalReturnType >:
Inheritance graph
[legend]

Public Member Functions

 ExpressionEvaluatorBase (storm::expressions::ExpressionManager const &manager)
 
virtual ~ExpressionEvaluatorBase ()=default
 
virtual bool asBool (Expression const &expression) const =0
 
virtual int_fast64_t asInt (Expression const &expression) const =0
 
virtual RationalReturnType asRational (Expression const &expression) const =0
 
virtual void setBooleanValue (storm::expressions::Variable const &variable, bool value)=0
 
virtual void setIntegerValue (storm::expressions::Variable const &variable, int_fast64_t value)=0
 
virtual void setRationalValue (storm::expressions::Variable const &variable, double value)=0
 

Protected Member Functions

storm::expressions::ExpressionManager const & getManager () const
 Retrieves the manager associated with this evaluator.
 

Detailed Description

template<typename RationalReturnType>
class storm::expressions::ExpressionEvaluatorBase< RationalReturnType >

Definition at line 9 of file ExpressionEvaluatorBase.h.

Constructor & Destructor Documentation

◆ ExpressionEvaluatorBase()

template<typename RationalType >
storm::expressions::ExpressionEvaluatorBase< RationalType >::ExpressionEvaluatorBase ( storm::expressions::ExpressionManager const &  manager)

Definition at line 9 of file ExpressionEvaluatorBase.cpp.

◆ ~ExpressionEvaluatorBase()

template<typename RationalReturnType >
virtual storm::expressions::ExpressionEvaluatorBase< RationalReturnType >::~ExpressionEvaluatorBase ( )
virtualdefault

Member Function Documentation

◆ asBool()

template<typename RationalReturnType >
virtual bool storm::expressions::ExpressionEvaluatorBase< RationalReturnType >::asBool ( Expression const &  expression) const
pure virtual

Implemented in storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, and storm::expressions::ExprtkExpressionEvaluatorBase< double >.

◆ asInt()

template<typename RationalReturnType >
virtual int_fast64_t storm::expressions::ExpressionEvaluatorBase< RationalReturnType >::asInt ( Expression const &  expression) const
pure virtual

Implemented in storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, and storm::expressions::ExprtkExpressionEvaluatorBase< double >.

◆ asRational()

template<typename RationalReturnType >
virtual RationalReturnType storm::expressions::ExpressionEvaluatorBase< RationalReturnType >::asRational ( Expression const &  expression) const
pure virtual

Implemented in storm::expressions::ExprtkExpressionEvaluator.

◆ getManager()

template<typename RationalType >
storm::expressions::ExpressionManager const & storm::expressions::ExpressionEvaluatorBase< RationalType >::getManager ( ) const
protected

Retrieves the manager associated with this evaluator.

Returns
The manager associated with this evaluator.

Definition at line 14 of file ExpressionEvaluatorBase.cpp.

◆ setBooleanValue()

template<typename RationalReturnType >
virtual void storm::expressions::ExpressionEvaluatorBase< RationalReturnType >::setBooleanValue ( storm::expressions::Variable const &  variable,
bool  value 
)
pure virtual

Implemented in storm::expressions::ExpressionEvaluatorWithVariableToExpressionMap< RationalType >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, and storm::expressions::ExprtkExpressionEvaluatorBase< double >.

◆ setIntegerValue()

template<typename RationalReturnType >
virtual void storm::expressions::ExpressionEvaluatorBase< RationalReturnType >::setIntegerValue ( storm::expressions::Variable const &  variable,
int_fast64_t  value 
)
pure virtual

Implemented in storm::expressions::ExpressionEvaluatorWithVariableToExpressionMap< RationalType >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, and storm::expressions::ExprtkExpressionEvaluatorBase< double >.

◆ setRationalValue()

template<typename RationalReturnType >
virtual void storm::expressions::ExpressionEvaluatorBase< RationalReturnType >::setRationalValue ( storm::expressions::Variable const &  variable,
double  value 
)
pure virtual

Implemented in storm::expressions::ExpressionEvaluatorWithVariableToExpressionMap< RationalType >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, and storm::expressions::ExprtkExpressionEvaluatorBase< double >.

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