Storm
A Modern Probabilistic Model Checker
|
#include <CompiledExpression.h>
Public Member Functions | |
virtual | ~CompiledExpression ()=default |
virtual bool | isExprtkCompiledExpression () const |
ExprtkCompiledExpression & | asExprtkCompiledExpression () |
ExprtkCompiledExpression const & | asExprtkCompiledExpression () const |
Definition at line 8 of file CompiledExpression.h.
|
virtualdefault |
ExprtkCompiledExpression & storm::expressions::CompiledExpression::asExprtkCompiledExpression | ( | ) |
Definition at line 12 of file CompiledExpression.cpp.
ExprtkCompiledExpression const & storm::expressions::CompiledExpression::asExprtkCompiledExpression | ( | ) | const |
Definition at line 16 of file CompiledExpression.cpp.
|
virtual |
Reimplemented in storm::expressions::ExprtkCompiledExpression.
Definition at line 8 of file CompiledExpression.cpp.