| 116 | } |
| 117 | |
| 118 | void DnCManager::freeMemoryIfNeeded() |
| 119 | { |
| 120 | if ( _workload ) |
| 121 | { |
| 122 | SubQuery *subQuery = NULL; |
| 123 | while ( !_workload->empty() ) |
| 124 | { |
| 125 | _workload->pop( subQuery ); |
| 126 | delete subQuery; |
| 127 | } |
| 128 | |
| 129 | delete _workload; |
| 130 | _workload = NULL; |
| 131 | } |
| 132 | } |
| 133 | |
| 134 | void DnCManager::solve() |
| 135 | { |