storm::expressions::ExprtkExpressionEvaluator Class Reference

#include <ExprtkExpressionEvaluator.h>

Inheritance diagram for storm::expressions::ExprtkExpressionEvaluator:

Collaboration diagram for storm::expressions::ExprtkExpressionEvaluator:

Public Member Functions
	ExprtkExpressionEvaluator (storm::expressions::ExpressionManager const &manager)
	Creates an expression evaluator that is capable of evaluating expressions managed by the given manager.
double	asRational (Expression const &expression) const override
Public Member Functions inherited from storm::expressions::ExprtkExpressionEvaluatorBase< double >
	ExprtkExpressionEvaluatorBase (storm::expressions::ExpressionManager const &manager)
bool	asBool (Expression const &expression) const override
int_fast64_t	asInt (Expression const &expression) const override
void	setBooleanValue (storm::expressions::Variable const &variable, bool value) override
void	setIntegerValue (storm::expressions::Variable const &variable, int_fast64_t value) override
void	setRationalValue (storm::expressions::Variable const &variable, double value) override
Public Member Functions inherited from storm::expressions::ExpressionEvaluatorBase< double >
	ExpressionEvaluatorBase (storm::expressions::ExpressionManager const &manager)
virtual	~ExpressionEvaluatorBase ()=default

Additional Inherited Members
Protected Types inherited from storm::expressions::ExprtkExpressionEvaluatorBase< double >
typedef double	ValueType
typedef ExprtkCompiledExpression::CompiledExpressionType	CompiledExpressionType
Protected Member Functions inherited from storm::expressions::ExprtkExpressionEvaluatorBase< double >
CompiledExpressionType const &	getCompiledExpression (storm::expressions::Expression const &expression) const
	Retrieves a compiled version of the given expression.
Protected Member Functions inherited from storm::expressions::ExpressionEvaluatorBase< double >
storm::expressions::ExpressionManager const &	getManager () const
	Retrieves the manager associated with this evaluator.
Protected Attributes inherited from storm::expressions::ExprtkExpressionEvaluatorBase< double >
std::unique_ptr< exprtk::parser< ValueType > >	parser
std::unique_ptr< exprtk::symbol_table< ValueType > >	symbolTable
std::vector< ValueType >	booleanValues
std::vector< ValueType >	integerValues
std::vector< ValueType >	rationalValues

Detailed Description

Definition at line 51 of file ExprtkExpressionEvaluator.h.

Constructor & Destructor Documentation

ExprtkExpressionEvaluator()

storm::expressions::ExprtkExpressionEvaluator::ExprtkExpressionEvaluator

(

storm::expressions::ExpressionManager const &

manager

)

Creates an expression evaluator that is capable of evaluating expressions managed by the given manager.

Parameters

manager

The manager responsible for the expressions.

Definition at line 78 of file ExprtkExpressionEvaluator.cpp.

Member Function Documentation

asRational()

double storm::expressions::ExprtkExpressionEvaluator::asRational ( Expression const & expression ) const

overridevirtual

Implements storm::expressions::ExpressionEvaluatorBase< double >.

Definition at line 82 of file ExprtkExpressionEvaluator.cpp.

---

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

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