11 actionIndex(actionIndex),
12 actionName(actionName),
13 labeled(actionName !=
""),
14 sourceStatePredicateExpression(sourceStatePredicateExpression),
15 targetStatePredicateExpression(targetStatePredicateExpression),
16 rewardValueExpression(rewardValueExpression) {
21 return this->actionName;
25 return this->actionIndex;
29 return this->sourceStatePredicateExpression;
33 return this->targetStatePredicateExpression;
37 return this->rewardValueExpression;
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).
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.
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
std::string const & getActionName() const
Retrieves the action name that is associated with this transition reward.
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)