7 std::string
const& filename, uint_fast64_t lineNumber)
8 :
LocatedInformation(filename, lineNumber), statePredicateExpression(statePredicateExpression), rewardValueExpression(rewardValueExpression) {
13 return this->statePredicateExpression;
17 return this->rewardValueExpression;
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 substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
Substitutes all identifiers in the state reward according to the given map.
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)