53 std::shared_ptr<storm::utility::solver::SmtSolverFactory>
const& smtSolverFactory =
54 std::make_shared<storm::utility::solver::MathsatSmtSolverFactory>());
61 void refine(std::vector<uint_fast64_t>
const& newPredicateIndices);
91 void addMissingPredicates(std::set<uint_fast64_t>
const& newRelevantPredicateIndices);
96 void pushConstraintBdd();
101 void popConstraintBdd();
106 void recomputeCachedBdd();
131 std::unique_ptr<storm::solver::SmtSolver> smtSolver;
134 std::reference_wrapper<AbstractionInformation<DdType>> abstractionInformation;
140 std::vector<std::pair<storm::expressions::Variable, uint_fast64_t>> relevantPredicatesAndVariables;
143 std::set<storm::expressions::Variable> concretePredicateVariables;
146 std::vector<storm::expressions::Variable> decisionVariables;
149 bool forceRecomputation;