| 267 | } |
| 268 | |
| 269 | bool Solver::hasAllRequiredFlags() |
| 270 | { |
| 271 | for (auto& rf : requiredFlags) { |
| 272 | if (!defaultFlags.contains(rf)) { |
| 273 | return false; |
| 274 | } |
| 275 | } |
| 276 | return true; |
| 277 | } |
| 278 | |
| 279 | SolverConfiguration::SolverConfiguration(const Solver& _solver, bool builtin) : |
| 280 | solverDefinition(_solver), |