Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
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 12 of file TimeBoundType.h.

Constructor & Destructor Documentation

◆ TimeBoundReference() [1/2]

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

Definition at line 18 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 23 of file TimeBoundType.h.

Member Function Documentation

◆ getOptionalRewardAccumulation()

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

Definition at line 72 of file TimeBoundType.h.

◆ getOptionalRewardModelName()

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

Definition at line 58 of file TimeBoundType.h.

◆ getRewardAccumulation()

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

Definition at line 67 of file TimeBoundType.h.

◆ getRewardModelName()

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

Definition at line 45 of file TimeBoundType.h.

◆ getRewardName()

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

Definition at line 50 of file TimeBoundType.h.

◆ getType()

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

Definition at line 29 of file TimeBoundType.h.

◆ hasRewardAccumulation()

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

Definition at line 63 of file TimeBoundType.h.

◆ hasRewardModelName()

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

Definition at line 54 of file TimeBoundType.h.

◆ isRewardBound()

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

Definition at line 41 of file TimeBoundType.h.

◆ isStepBound()

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

Definition at line 33 of file TimeBoundType.h.

◆ isTimeBound()

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

Definition at line 37 of file TimeBoundType.h.

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