Inheritance diagram for storm::expressions::ExprtkExpressionEvaluator:

[legend]

Collaboration diagram for storm::expressions::ExprtkExpressionEvaluator:

[legend]

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< RationalReturnType >
	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< RationalReturnType >
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