| 1412 | } |
| 1413 | |
| 1414 | void Engine::initializeNetworkLevelReasoning() |
| 1415 | { |
| 1416 | _networkLevelReasoner = _preprocessedQuery->getNetworkLevelReasoner(); |
| 1417 | |
| 1418 | if ( _networkLevelReasoner ) |
| 1419 | { |
| 1420 | _networkLevelReasoner->computeSuccessorLayers(); |
| 1421 | _networkLevelReasoner->setTableau( _tableau ); |
| 1422 | if ( Options::get()->getBool( Options::DUMP_TOPOLOGY ) ) |
| 1423 | { |
| 1424 | _networkLevelReasoner->dumpTopology( false ); |
| 1425 | std::cout << std::endl; |
| 1426 | } |
| 1427 | } |
| 1428 | } |
| 1429 | |
| 1430 | bool Engine::processInputQuery( InputQuery &inputQuery, bool preprocess ) |
| 1431 | { |
nothing calls this directly
no test coverage detected