storm::pomdp::beliefs::RewardBound Struct Reference

One reward dimension of a reward-bounded reachability property. More...

#include <PropertyInformation.h>

Public Attributes
std::string	rewardModelName
std::optional< storm::logic::TimeBound >	lowerBound
std::optional< storm::logic::TimeBound >	upperBound

Detailed Description

One reward dimension of a reward-bounded reachability property.

Definition at line 14 of file PropertyInformation.h.

Member Data Documentation

lowerBound

std::optional<storm::logic::TimeBound> storm::pomdp::beliefs::RewardBound::lowerBound

Definition at line 16 of file PropertyInformation.h.

rewardModelName

std::string storm::pomdp::beliefs::RewardBound::rewardModelName

Definition at line 15 of file PropertyInformation.h.

upperBound

std::optional<storm::logic::TimeBound> storm::pomdp::beliefs::RewardBound::upperBound

Definition at line 17 of file PropertyInformation.h.

---

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

• src/storm-pomdp/beliefs/verification/PropertyInformation.h