MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / encodeAffineLayers

Method encodeAffineLayers

src/nlr/NetworkLevelReasoner.cpp:383–388  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

381}
382
383void 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
390InputQuery NetworkLevelReasoner::generateInputQuery()
391{

Callers 1

Calls 1

getLayerTypeMethod · 0.45

Tested by

no test coverage detected