Browse Source

setting the 'requirementsChecked' flag in topo min max solver

tempestpy_adaptions
TimQu 7 years ago
parent
commit
52979dcbc1
  1. 2
      src/storm/solver/TopologicalMinMaxLinearEquationSolver.cpp

2
src/storm/solver/TopologicalMinMaxLinearEquationSolver.cpp

@ -298,6 +298,7 @@ namespace storm {
req.clearLowerBounds();
}
STORM_LOG_THROW(req.empty(), storm::exceptions::UnmetRequirementException, "Requirements of underlying solver not met.");
this->sccSolver->setRequirementsChecked(true);
bool res = this->sccSolver->solveEquations(sccSolverEnvironment, dir, x, b);
if (this->isTrackSchedulerSet()) {
@ -368,6 +369,7 @@ namespace storm {
req.clearValidInitialScheduler();
}
STORM_LOG_THROW(req.empty(), storm::exceptions::UnmetRequirementException, "Requirements of underlying solver not met.");
this->sccSolver->setRequirementsChecked(true);
// Invoke scc solver
bool res = this->sccSolver->solveEquations(sccSolverEnvironment, dir, sccX, sccB);

Loading…
Cancel
Save