storm::generator::TransientVariableData< VariableType > Struct Template Reference

#include <TransientVariableInformation.h>

Collaboration diagram for storm::generator::TransientVariableData< VariableType >:

Public Member Functions
	TransientVariableData (storm::expressions::Variable const &variable, boost::optional< VariableType > const &lowerBound, boost::optional< VariableType > const &upperBound, VariableType const &defaultValue, bool global=false)
	TransientVariableData (storm::expressions::Variable const &variable, VariableType const &defaultValue, bool global=false)
	TransientVariableData (storm::expressions::Variable const &variable, boost::optional< storm::RationalFunction > const &lowerBound, boost::optional< storm::RationalFunction > const &upperBound, storm::RationalFunction const &defaultValue, bool global)

Public Attributes
storm::expressions::Variable	variable
boost::optional< VariableType >	lowerBound
boost::optional< VariableType >	upperBound
VariableType	defaultValue
bool	global

Detailed Description

template<typename VariableType>
struct storm::generator::TransientVariableData< VariableType >

Definition at line 34 of file TransientVariableInformation.h.

Constructor & Destructor Documentation

TransientVariableData() [1/3]

template<typename VariableType >

storm::generator::TransientVariableData< VariableType >::TransientVariableData	(	storm::expressions::Variable const &	variable,
		boost::optional< VariableType > const &	lowerBound,
		boost::optional< VariableType > const &	upperBound,
		VariableType const &	defaultValue,
		bool	global = false
	)

Definition at line 32 of file TransientVariableInformation.cpp.

TransientVariableData() [2/3]

template<typename VariableType >

storm::generator::TransientVariableData< VariableType >::TransientVariableData	(	storm::expressions::Variable const &	variable,
		VariableType const &	defaultValue,
		bool	global = false
	)

Definition at line 42 of file TransientVariableInformation.cpp.

TransientVariableData() [3/3]

storm::generator::TransientVariableData< storm::RationalFunction >::TransientVariableData	(	storm::expressions::Variable const &	variable,
		boost::optional< storm::RationalFunction > const &	lowerBound,
		boost::optional< storm::RationalFunction > const &	upperBound,
		storm::RationalFunction const &	defaultValue,
		bool	global
	)

Definition at line 23 of file TransientVariableInformation.cpp.

Member Data Documentation

defaultValue

template<typename VariableType >

VariableType storm::generator::TransientVariableData< VariableType >::defaultValue

Definition at line 49 of file TransientVariableInformation.h.

global

template<typename VariableType >

bool storm::generator::TransientVariableData< VariableType >::global

Definition at line 52 of file TransientVariableInformation.h.

lowerBound

template<typename VariableType >

boost::optional<VariableType> storm::generator::TransientVariableData< VariableType >::lowerBound

Definition at line 43 of file TransientVariableInformation.h.

upperBound

template<typename VariableType >

boost::optional<VariableType> storm::generator::TransientVariableData< VariableType >::upperBound

Definition at line 46 of file TransientVariableInformation.h.

variable

template<typename VariableType >

storm::expressions::Variable storm::generator::TransientVariableData< VariableType >::variable

Definition at line 40 of file TransientVariableInformation.h.

---

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

• src/storm/generator/TransientVariableInformation.h
• src/storm/generator/TransientVariableInformation.cpp