Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::expressions::CompiledExpression Class Reference

#include <CompiledExpression.h>

Inheritance diagram for storm::expressions::CompiledExpression:

Public Member Functions

virtual ~CompiledExpression ()=default
 
virtual bool isExprtkCompiledExpression () const
 
ExprtkCompiledExpressionasExprtkCompiledExpression ()
 
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: