Browse Source

fixed call of inherited function and

short curcuiting problem. Maybe && is overloaded somewhere?
tempestpy_adaptions
Stefan Pranger 4 years ago
parent
commit
b3f5cd1c89
  1. 6
      src/storm/solver/GmmxxMultiplier.cpp

6
src/storm/solver/GmmxxMultiplier.cpp

@ -221,7 +221,7 @@ namespace storm {
oldSelectedChoiceValue = newValue;
}
if(isOverridden(currentRowGroup) ? !compare(newValue, currentValue) : compare(newValue, currentValue)) {
if(this->isOverridden(currentRowGroup) ? !compare(newValue, currentValue) : compare(newValue, currentValue)) {
currentValue = newValue;
if (choices) {
selectedChoice = currentRow - *row_group_it;
@ -241,10 +241,12 @@ namespace storm {
// Finally write value to target vector.
*target_it = currentValue;
if(choices && isOverridden(currentRowGroup) ? !compare(currentValue, oldSelectedChoiceValue) : compare(currentValue, oldSelectedChoiceValue) ) {
if(choices) {
if(this->isOverridden(currentRowGroup) ? !compare(currentValue, oldSelectedChoiceValue) : compare(currentValue, oldSelectedChoiceValue) ) {
*choice_it = selectedChoice;
}
}
}
// move rowGroup-based iterators to the next row group
if (backwards) {

Loading…
Cancel
Save