@@ -1144,22 +1144,6 @@ class ConstraintSystem {
1144
1144
#define CS_STATISTIC (Name, Description ) unsigned Name = 0 ;
1145
1145
#include " ConstraintSolverStats.def"
1146
1146
1147
- // / \brief Register given scope to be tracked by the current solver state,
1148
- // / this helps to make sure that all of the retired/generated constraints
1149
- // / are dealt with correctly when the life time of the scope ends.
1150
- // /
1151
- // / \param scope The scope to associate with current solver state.
1152
- void registerScope (SolverScope *scope) {
1153
- ++depth;
1154
- ++NumStatesExplored;
1155
-
1156
- CS.incrementScopeCounter ();
1157
- auto scopeInfo =
1158
- std::make_tuple (scope, retiredConstraints.begin (),
1159
- generatedConstraints.size ());
1160
- scopes.push_back (scopeInfo);
1161
- }
1162
-
1163
1147
// / \brief Check whether there are any retired constraints present.
1164
1148
bool hasRetiredConstraints () const {
1165
1149
return !retiredConstraints.empty ();
@@ -1207,6 +1191,22 @@ class ConstraintSystem {
1207
1191
}
1208
1192
}
1209
1193
1194
+ // / \brief Register given scope to be tracked by the current solver state,
1195
+ // / this helps to make sure that all of the retired/generated constraints
1196
+ // / are dealt with correctly when the life time of the scope ends.
1197
+ // /
1198
+ // / \param scope The scope to associate with current solver state.
1199
+ void registerScope (SolverScope *scope) {
1200
+ ++depth;
1201
+ ++NumStatesExplored;
1202
+
1203
+ CS.incrementScopeCounter ();
1204
+ auto scopeInfo =
1205
+ std::make_tuple (scope, retiredConstraints.begin (),
1206
+ generatedConstraints.size ());
1207
+ scopes.push_back (scopeInfo);
1208
+ }
1209
+
1210
1210
// / \brief Restore all of the retired/generated constraints to the state
1211
1211
// / before given scope. This is required because retired constraints have
1212
1212
// / to be re-introduced to the system in order of arrival (LIFO) and list
0 commit comments