108 std::shared_ptr<storm::utility::solver::SmtSolverFactory>
const& smtSolverFactory =
109 std::make_shared<storm::utility::solver::MathsatSmtSolverFactory>());
122 std::unique_ptr<storm::modelchecker::CheckResult> performGameBasedAbstractionRefinement(
126 std::unique_ptr<storm::modelchecker::CheckResult> performSymbolicAbstractionSolutionStep(
133 std::unique_ptr<storm::modelchecker::CheckResult> performExplicitAbstractionSolutionStep(
169 uint64_t peakTransitions)
const;
184 std::shared_ptr<storm::utility::solver::SmtSolverFactory> smtSolverFactory;
190 bool reuseQualitativeResults;
193 bool reuseQuantitativeResults;
196 uint64_t maximalNumberOfAbstractions;
202 std::shared_ptr<storm::gbar::abstraction::MenuGameAbstractor<Type, ValueType>> abstractor;
208 bool fixPlayer1Strategy;
211 bool fixPlayer2Strategy;