storm::logic::TimeBoundReference Class Reference

#include <TimeBoundType.h>

Public Member Functions
	TimeBoundReference (TimeBoundType t)
	TimeBoundReference (boost::optional< std::string > const &rewardName=boost::none, boost::optional< RewardAccumulation > rewardAccumulation=boost::none)
TimeBoundType const &	getType () const
bool	isStepBound () const
bool	isTimeBound () const
bool	isRewardBound () const
std::string const &	getRewardModelName () const
std::string const &	getRewardName () const
bool	hasRewardModelName () const
boost::optional< std::string > const &	getOptionalRewardModelName () const
bool	hasRewardAccumulation () const
RewardAccumulation const &	getRewardAccumulation () const
boost::optional< RewardAccumulation > const &	getOptionalRewardAccumulation () const

Detailed Description

Definition at line 13 of file TimeBoundType.h.

Constructor & Destructor Documentation

TimeBoundReference() [1/2]

storm::logic::TimeBoundReference::TimeBoundReference ( TimeBoundType t )

inlineexplicit

Definition at line 19 of file TimeBoundType.h.

TimeBoundReference() [2/2]

storm::logic::TimeBoundReference::TimeBoundReference ( boost::optional< std::string > const & rewardName = boost::none, boost::optional< RewardAccumulation > rewardAccumulation = boost::none )

inlineexplicit

Definition at line 24 of file TimeBoundType.h.

Member Function Documentation

getOptionalRewardAccumulation()

boost::optional< RewardAccumulation > const & storm::logic::TimeBoundReference::getOptionalRewardAccumulation ( ) const

inline

Definition at line 74 of file TimeBoundType.h.

getOptionalRewardModelName()

boost::optional< std::string > const & storm::logic::TimeBoundReference::getOptionalRewardModelName ( ) const

inline

Definition at line 60 of file TimeBoundType.h.

getRewardAccumulation()

RewardAccumulation const & storm::logic::TimeBoundReference::getRewardAccumulation ( ) const

inline

Definition at line 69 of file TimeBoundType.h.

getRewardModelName()

std::string const & storm::logic::TimeBoundReference::getRewardModelName ( ) const

inline

Definition at line 47 of file TimeBoundType.h.

getRewardName()

std::string const & storm::logic::TimeBoundReference::getRewardName ( ) const

inline

Definition at line 52 of file TimeBoundType.h.

getType()

TimeBoundType const & storm::logic::TimeBoundReference::getType ( ) const

inline

Definition at line 31 of file TimeBoundType.h.

hasRewardAccumulation()

bool storm::logic::TimeBoundReference::hasRewardAccumulation ( ) const

inline

Definition at line 65 of file TimeBoundType.h.

hasRewardModelName()

bool storm::logic::TimeBoundReference::hasRewardModelName ( ) const

inline

Definition at line 56 of file TimeBoundType.h.

isRewardBound()

bool storm::logic::TimeBoundReference::isRewardBound ( ) const

inline

Definition at line 43 of file TimeBoundType.h.

isStepBound()

bool storm::logic::TimeBoundReference::isStepBound ( ) const

inline

Definition at line 35 of file TimeBoundType.h.

isTimeBound()

bool storm::logic::TimeBoundReference::isTimeBound ( ) const

inline

Definition at line 39 of file TimeBoundType.h.

---

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

• src/storm/logic/TimeBoundType.h