1#ifndef STORM_STORAGE_PRISM_STATEREWARD_H_
2#define STORM_STORAGE_PRISM_STATEREWARD_H_
12namespace expressions {
32 std::string
const& filename =
"", uint_fast64_t lineNumber = 0);
61 StateReward substitute(std::map<storm::expressions::Variable, storm::expressions::Expression>
const& substitution)
const;
friend std::ostream & operator<<(std::ostream &stream, StateReward const &stateReward)
storm::expressions::Expression const & getStatePredicateExpression() const
Retrieves the state predicate that is associated with this state reward.
storm::expressions::Expression const & getRewardValueExpression() const
Retrieves the reward value associated with this state reward.
StateReward(StateReward const &other)=default
StateReward & operator=(StateReward const &other)=default
StateReward & operator=(StateReward &&other)=default
StateReward substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the state reward according to the given map.
StateReward(StateReward &&other)=default