/*
 * StateReward.cpp
 *
 *  Created on: 12.01.2013
 *      Author: Christian Dehnert
 */

#include <sstream>

#include "StateReward.h"

namespace storm {

namespace ir {

StateReward::StateReward() : statePredicate(), rewardValue() {
	// Nothing to do here.
}

StateReward::StateReward(std::shared_ptr<storm::ir::expressions::BaseExpression> const& statePredicate, std::shared_ptr<storm::ir::expressions::BaseExpression> const& rewardValue) : statePredicate(statePredicate), rewardValue(rewardValue) {
	// Nothing to do here.
}

std::string StateReward::toString() const {
	std::stringstream result;
	result << "\t" << statePredicate->toString() << ": " << rewardValue->toString() << ";";
	return result.str();
}
    
std::shared_ptr<storm::ir::expressions::BaseExpression> StateReward::getStatePredicate() const {
    return this->statePredicate;
}

std::shared_ptr<storm::ir::expressions::BaseExpression> StateReward::getRewardValue() const {
    return this->rewardValue;
}
    
} // namespace ir

} // namespace storm