The StandardGameSolver uses this line in its constructors.
linearEquationSolverIsExact = storm::settings::getModule<storm::settings::modules::GeneralSettings>().isExactSet();
to determine whether it can solve linear equations exactly. I would like to replace this by simply looking at the value type?
@tquatmann Could you confirm that that is an improvement?
The StandardGameSolver uses this line in its constructors.
to determine whether it can solve linear equations exactly. I would like to replace this by simply looking at the value type?
@tquatmann Could you confirm that that is an improvement?