storm::expressions::ExpressionEvaluatorBase< RationalReturnType > Class Template Reference

#include <ExpressionEvaluatorBase.h>

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 >, storm::expressions::ExprtkExpressionEvaluatorBase< double >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalFunction >, and storm::expressions::ExprtkExpressionEvaluatorBase< RationalNumber >.

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 >, storm::expressions::ExprtkExpressionEvaluatorBase< double >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalFunction >, and storm::expressions::ExprtkExpressionEvaluatorBase< RationalNumber >.

asRational()

template<typename RationalReturnType>

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

pure virtual

Implemented in storm::expressions::ExpressionEvaluator< RationalFunction >, storm::expressions::ExpressionEvaluator< RationalNumber >, and 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::ExpressionEvaluator< RationalFunction >, storm::expressions::ExpressionEvaluator< RationalNumber >, storm::expressions::ExpressionEvaluatorWithVariableToExpressionMap< RationalType >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, storm::expressions::ExprtkExpressionEvaluatorBase< double >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalFunction >, and storm::expressions::ExprtkExpressionEvaluatorBase< RationalNumber >.

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::ExpressionEvaluator< RationalFunction >, storm::expressions::ExpressionEvaluator< RationalNumber >, storm::expressions::ExpressionEvaluatorWithVariableToExpressionMap< RationalType >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, storm::expressions::ExprtkExpressionEvaluatorBase< double >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalFunction >, and storm::expressions::ExprtkExpressionEvaluatorBase< RationalNumber >.

setRationalValue()

template<typename RationalReturnType>

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

pure virtual

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

---

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

• src/storm/storage/expressions/ExpressionEvaluatorBase.h
• src/storm/storage/expressions/ExpressionEvaluatorBase.cpp