Browse Source

Fixed 'isZero' function in ConstantsComparator.

tempestpy_adaptions
TimQu 6 years ago
parent
commit
4924a0e557
  1. 2
      src/storm/utility/ConstantsComparator.cpp

2
src/storm/utility/ConstantsComparator.cpp

@ -125,7 +125,7 @@ namespace storm {
bool ConstantsComparator<storm::RationalNumber>::isZero(storm::RationalNumber const& value) const {
if (storm::utility::isZero(precision)) {
return storm::utility::isOne(value);
return storm::utility::isZero(value);
}
return storm::utility::abs(value) <= precision;
}

Loading…
Cancel
Save