| 3255 | } |
| 3256 | |
| 3257 | forceinline Space* |
| 3258 | Space::clone(CloneStatistics&) const { |
| 3259 | // Clone is only const for search engines. During cloning, several data |
| 3260 | // structures are updated (e.g. forwarding pointers), so we have to |
| 3261 | // cast away the constness. |
| 3262 | return const_cast<Space*>(this)->_clone(); |
| 3263 | } |
| 3264 | |
| 3265 | forceinline void |
| 3266 | Space::commit(const Choice& c, unsigned int a, CommitStatistics&) { |