1#ifndef STORM_STORAGE_PRISM_TRANSITIONREWARD_H_
2#define STORM_STORAGE_PRISM_TRANSITIONREWARD_H_
12namespace expressions {
38 std::string
const& filename =
"", uint_fast64_t lineNumber = 0);
101 uint_fast64_t actionIndex;
104 std::string actionName;
TransitionReward substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the transition reward according to the given map.
uint_fast64_t getActionIndex() const
Retrieves the action index of the action associated with this transition reward (if any).
TransitionReward(TransitionReward &&other)=default
storm::expressions::Expression const & getRewardValueExpression() const
Retrieves the reward value expression associated with this state reward.
storm::expressions::Expression const & getSourceStatePredicateExpression() const
Retrieves the source state predicate expression that is associated with this state reward.
TransitionReward & operator=(TransitionReward const &other)=default
friend std::ostream & operator<<(std::ostream &stream, TransitionReward const &transitionReward)
TransitionReward & operator=(TransitionReward &&other)=default
bool isLabeled() const
Retrieves whether the transition reward has an action label.
storm::expressions::Expression const & getTargetStatePredicateExpression() const
Retrieves the target state predicate expression that is associated with this state reward.
TransitionReward()=default
TransitionReward(TransitionReward const &other)=default
std::string const & getActionName() const
Retrieves the action name that is associated with this transition reward.