| 381 | } |
| 382 | |
| 383 | void NetworkLevelReasoner::encodeAffineLayers( InputQuery &inputQuery ) |
| 384 | { |
| 385 | for ( const auto &pair : _layerIndexToLayer ) |
| 386 | if ( pair.second->getLayerType() == Layer::WEIGHTED_SUM ) |
| 387 | generateInputQueryForWeightedSumLayer( inputQuery, pair.second ); |
| 388 | } |
| 389 | |
| 390 | InputQuery NetworkLevelReasoner::generateInputQuery() |
| 391 | { |
no test coverage detected