File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -865,10 +865,6 @@ bool DisjunctionStep::attempt(const DisjunctionChoice &choice) {
865
865
bool ConjunctionStep::attempt (const ConjunctionElement &element) {
866
866
++CS.solverState ->NumConjunctionTerms ;
867
867
868
- // Outside or previous element score doesn't affect
869
- // subsequent elements.
870
- CS.solverState ->BestScore .reset ();
871
-
872
868
// Apply solution inferred for all the previous elements
873
869
// because this element could reference declarations
874
870
// established in previous element(s).
@@ -880,6 +876,10 @@ bool ConjunctionStep::attempt(const ConjunctionElement &element) {
880
876
CS.applySolution (Solutions.pop_back_val ());
881
877
}
882
878
879
+ // Outside or previous element score doesn't affect
880
+ // subsequent elements.
881
+ CS.solverState ->BestScore .reset ();
882
+
883
883
// Make sure that element is solved in isolation
884
884
// by dropping all scoring information.
885
885
CS.CurrentScore = Score ();
You can’t perform that action at this time.
0 commit comments