Browse Source

fixed a few bugs

Former-commit-id: 70d408e653
tempestpy_adaptions
dehnert 9 years ago
parent
commit
4a19d81133
  1. 2
      src/logic/RewardOperatorFormula.cpp
  2. 2
      src/logic/TimeOperatorFormula.cpp

2
src/logic/RewardOperatorFormula.cpp

@ -41,7 +41,7 @@ namespace storm {
}
std::shared_ptr<Formula> RewardOperatorFormula::substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution) const {
return std::make_shared<RewardOperatorFormula>(this->getSubformula().substitute(substitution), this->rewardModelName, this->operatorInformation);
return std::make_shared<RewardOperatorFormula>(this->getSubformula().substitute(substitution), this->rewardModelName, this->operatorInformation, this->rewardMeasureType);
}
RewardMeasureType RewardOperatorFormula::getMeasureType() const {

2
src/logic/TimeOperatorFormula.cpp

@ -20,7 +20,7 @@ namespace storm {
}
std::shared_ptr<Formula> TimeOperatorFormula::substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution) const {
return std::make_shared<TimeOperatorFormula>(this->getSubformula().substitute(substitution), this->operatorInformation);
return std::make_shared<TimeOperatorFormula>(this->getSubformula().substitute(substitution), this->operatorInformation, this->rewardMeasureType);
}
RewardMeasureType TimeOperatorFormula::getMeasureType() const {

Loading…
Cancel
Save