1#ifndef STORM_STORAGE_PRISM_STATEACTIONREWARD_H_
2#define STORM_STORAGE_PRISM_STATEACTIONREWARD_H_
12namespace expressions {
91 uint_fast64_t actionIndex;
94 std::string actionName;
StateActionReward(StateActionReward const &other)=default
StateActionReward & operator=(StateActionReward &&other)=default
StateActionReward(StateActionReward &&other)=default
std::string const & getActionName() const
Retrieves the action name that is associated with this transition reward.
storm::expressions::Expression const & getRewardValueExpression() const
Retrieves the reward value expression associated with this state reward.
friend std::ostream & operator<<(std::ostream &stream, StateActionReward const &stateActionReward)
StateActionReward()=default
storm::expressions::Expression const & getStatePredicateExpression() const
Retrieves the state predicate expression that is associated with this state reward.
bool isLabeled() const
Retrieves whether the transition reward has an action label.
uint_fast64_t getActionIndex() const
Retrieves the action index of the action associated with this transition reward (if any).
StateActionReward & operator=(StateActionReward const &other)=default
StateActionReward substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the transition reward according to the given map.