Browse Source

Fix in symbolic rational search

tempestpy_adaptions
TimQu 7 years ago
parent
commit
78842a5005
  1. 2
      src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp

2
src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp

@ -127,7 +127,7 @@ namespace storm {
storm::dd::Add<DdType, RationalType> sharpenedX; storm::dd::Add<DdType, RationalType> sharpenedX;
for (uint64_t p = 1; p < precision; ++p) { for (uint64_t p = 1; p < precision; ++p) {
sharpenedX = x.sharpenKwekMehlhorn(precision);
sharpenedX = x.sharpenKwekMehlhorn(p);
isSolution = rationalSolver.isSolution(dir, sharpenedX, rationalB); isSolution = rationalSolver.isSolution(dir, sharpenedX, rationalB);
if (isSolution) { if (isSolution) {

Loading…
Cancel
Save