9 actionIndex(actionIndex),
10 actionName(actionName),
11 labeled(actionName !=
""),
12 statePredicateExpression(statePredicateExpression),
13 rewardValueExpression(rewardValueExpression) {
18 return this->actionName;
22 return this->actionIndex;
26 return this->statePredicateExpression;
30 return this->rewardValueExpression;
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.
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 substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the transition reward according to the given map.
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)