Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::builder::RewardModelInformation Class Reference

#include <RewardModelInformation.h>

Public Member Functions

 RewardModelInformation (std::string const &name, bool stateRewards, bool stateActionRewards, bool transitionRewards)
 
std::string const & getName () const
 
bool hasStateRewards () const
 
bool hasStateActionRewards () const
 
bool hasTransitionRewards () const
 
void setHasStateRewards ()
 
void setHasStateActionRewards ()
 
void setHasTransitionRewards ()
 

Detailed Description

Definition at line 8 of file RewardModelInformation.h.

Constructor & Destructor Documentation

◆ RewardModelInformation()

storm::builder::RewardModelInformation::RewardModelInformation ( std::string const &  name,
bool  stateRewards,
bool  stateActionRewards,
bool  transitionRewards 
)

Definition at line 6 of file RewardModelInformation.cpp.

Member Function Documentation

◆ getName()

std::string const & storm::builder::RewardModelInformation::getName ( ) const

Definition at line 11 of file RewardModelInformation.cpp.

◆ hasStateActionRewards()

bool storm::builder::RewardModelInformation::hasStateActionRewards ( ) const

Definition at line 19 of file RewardModelInformation.cpp.

◆ hasStateRewards()

bool storm::builder::RewardModelInformation::hasStateRewards ( ) const

Definition at line 15 of file RewardModelInformation.cpp.

◆ hasTransitionRewards()

bool storm::builder::RewardModelInformation::hasTransitionRewards ( ) const

Definition at line 23 of file RewardModelInformation.cpp.

◆ setHasStateActionRewards()

void storm::builder::RewardModelInformation::setHasStateActionRewards ( )

Definition at line 31 of file RewardModelInformation.cpp.

◆ setHasStateRewards()

void storm::builder::RewardModelInformation::setHasStateRewards ( )

Definition at line 27 of file RewardModelInformation.cpp.

◆ setHasTransitionRewards()

void storm::builder::RewardModelInformation::setHasTransitionRewards ( )

Definition at line 35 of file RewardModelInformation.cpp.

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