[feat] Add optimization in case all constraints are dependent

Author: misonijnik

lib/Solver/IndependentSolver.cpp

@@ -152,6 +152,14 @@ bool IndependentSolver::computeInitialValues(
   Assignment retMap;
   std::vector<ref<const IndependentConstraintSet>> dependentFactors;
   query.getAllDependentConstraintsSets(dependentFactors);
+  std::vector<ref<const IndependentConstraintSet>> independentFactors;
+  query.getAllIndependentConstraintsSets(independentFactors);
+
+  if (independentFactors.size() == 0 && dependentFactors.size() == 1) {
+    return solver->impl->computeInitialValues(query, objects, values,
+                                              hasSolution);
+  }
+
   ConstraintSet dependentConstriants(dependentFactors);
 
   std::vector<const Array *> dependentFactorsObjects;
@@ -174,9 +182,6 @@ bool IndependentSolver::computeInitialValues(
     }
   }
 
-  std::vector<ref<const IndependentConstraintSet>> independentFactors;
-  query.getAllIndependentConstraintsSets(independentFactors);
-
   // Used to rearrange all of the answers into the correct order
   for (ref<const IndependentConstraintSet> it : independentFactors) {
     std::vector<const Array *> arraysInFactor;
@@ -242,6 +247,13 @@ bool IndependentSolver::check(const Query &query, ref<SolverResponse> &result) {
   Assignment retMap;
   std::vector<ref<const IndependentConstraintSet>> dependentFactors;
   query.getAllDependentConstraintsSets(dependentFactors);
+  std::vector<ref<const IndependentConstraintSet>> independentFactors;
+  query.getAllIndependentConstraintsSets(independentFactors);
+
+  if (independentFactors.size() == 0 && dependentFactors.size() == 1) {
+    return solver->impl->check(query, result);
+  }
+
   ConstraintSet dependentConstriants(dependentFactors);
 
   std::vector<const Array *> dependentFactorsObjects;
@@ -266,9 +278,6 @@ bool IndependentSolver::check(const Query &query, ref<SolverResponse> &result) {
     }
   }
 
-  std::vector<ref<const IndependentConstraintSet>> independentFactors;
-  query.getAllIndependentConstraintsSets(independentFactors);
-
   // Used to rearrange all of the answers into the correct order
   for (ref<const IndependentConstraintSet> it : independentFactors) {
     std::vector<const Array *> arraysInFactor;