storm::expressions::RationalFunctionToExpression< ValueType > Class Template Reference

#include <RationalFunctionToExpression.h>

Public Member Functions
	RationalFunctionToExpression (std::shared_ptr< ExpressionManager > manager)
std::shared_ptr< ExpressionManager >	getManager ()
	Retrieves the manager responsible for the variables of this valuation.
Expression	toExpression (ValueType function)
	Transforms the function into an expression.

Detailed Description

template<typename ValueType>
class storm::expressions::RationalFunctionToExpression< ValueType >

Definition at line 10 of file RationalFunctionToExpression.h.

Constructor & Destructor Documentation

RationalFunctionToExpression()

template<typename ValueType >

storm::expressions::RationalFunctionToExpression< ValueType >::RationalFunctionToExpression

(

std::shared_ptr< ExpressionManager >

manager

)

Definition at line 11 of file RationalFunctionToExpression.cpp.

Member Function Documentation

getManager()

template<typename ValueType >

std::shared_ptr< ExpressionManager > storm::expressions::RationalFunctionToExpression< ValueType >::getManager

(

)

Retrieves the manager responsible for the variables of this valuation.

Returns

The pointer to the manager.

Definition at line 16 of file RationalFunctionToExpression.cpp.

toExpression()

template<typename ValueType >

Expression storm::expressions::RationalFunctionToExpression< ValueType >::toExpression

(

ValueType

function

)

Transforms the function into an expression.

Parameters

function

The function to transform

Returns

The created expression.

Definition at line 21 of file RationalFunctionToExpression.cpp.

---

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

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