storm::expressions::CompiledExpression Class Reference

#include <CompiledExpression.h>

Inheritance diagram for storm::expressions::CompiledExpression:

Public Member Functions
virtual	~CompiledExpression ()=default
virtual bool	isExprtkCompiledExpression () const
ExprtkCompiledExpression &	asExprtkCompiledExpression ()
ExprtkCompiledExpression const &	asExprtkCompiledExpression () const

Detailed Description

Definition at line 8 of file CompiledExpression.h.

Constructor & Destructor Documentation

~CompiledExpression()

virtual storm::expressions::CompiledExpression::~CompiledExpression ( )

virtualdefault

Member Function Documentation

asExprtkCompiledExpression() [1/2]

ExprtkCompiledExpression & storm::expressions::CompiledExpression::asExprtkCompiledExpression

(

)

Definition at line 12 of file CompiledExpression.cpp.

asExprtkCompiledExpression() [2/2]

ExprtkCompiledExpression const & storm::expressions::CompiledExpression::asExprtkCompiledExpression

(

)

const

Definition at line 16 of file CompiledExpression.cpp.

isExprtkCompiledExpression()

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

virtual

Reimplemented in storm::expressions::ExprtkCompiledExpression.

Definition at line 8 of file CompiledExpression.cpp.

---

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

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