| 326 | } |
| 327 | |
| 328 | void DnCManager::extractSolution( InputQuery &inputQuery ) |
| 329 | { |
| 330 | ASSERT( _engineWithSATAssignment != nullptr ); |
| 331 | _engineWithSATAssignment->extractSolution( inputQuery, _baseEngine->getPreprocessor() ); |
| 332 | } |
| 333 | |
| 334 | void DnCManager::getSolution( std::map<int, double> &ret, InputQuery &inputQuery ) |
| 335 | { |
nothing calls this directly
no test coverage detected