storm::expressions::ExprtkCompiledExpression Class Reference

#include <ExprtkCompiledExpression.h>

Inheritance diagram for storm::expressions::ExprtkCompiledExpression:

Collaboration diagram for storm::expressions::ExprtkCompiledExpression:

Public Types
typedef exprtk::expression< double >	CompiledExpressionType

Public Member Functions
	ExprtkCompiledExpression (CompiledExpressionType const &exprtkCompiledExpression)
CompiledExpressionType const &	getCompiledExpression () const
virtual bool	isExprtkCompiledExpression () const override
Public Member Functions inherited from storm::expressions::CompiledExpression
virtual	~CompiledExpression ()=default
ExprtkCompiledExpression &	asExprtkCompiledExpression ()
ExprtkCompiledExpression const &	asExprtkCompiledExpression () const

Detailed Description

Definition at line 10 of file ExprtkCompiledExpression.h.

Member Typedef Documentation

CompiledExpressionType

typedef exprtk::expression<double> storm::expressions::ExprtkCompiledExpression::CompiledExpressionType

Definition at line 12 of file ExprtkCompiledExpression.h.

Constructor & Destructor Documentation

ExprtkCompiledExpression()

storm::expressions::ExprtkCompiledExpression::ExprtkCompiledExpression

(

CompiledExpressionType const &

exprtkCompiledExpression

)

Definition at line 6 of file ExprtkCompiledExpression.cpp.

Member Function Documentation

getCompiledExpression()

ExprtkCompiledExpression::CompiledExpressionType const & storm::expressions::ExprtkCompiledExpression::getCompiledExpression

(

)

const

Definition at line 11 of file ExprtkCompiledExpression.cpp.

isExprtkCompiledExpression()

bool storm::expressions::ExprtkCompiledExpression::isExprtkCompiledExpression ( ) const

overridevirtual

Reimplemented from storm::expressions::CompiledExpression.

Definition at line 15 of file ExprtkCompiledExpression.cpp.

---

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

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