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

Method freeMemoryIfNeeded

src/nlr/NetworkLevelReasoner.cpp:282–287  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

280}
281
282void NetworkLevelReasoner::freeMemoryIfNeeded()
283{
284 for ( const auto &layer : _layerIndexToLayer )
285 delete layer.second;
286 _layerIndexToLayer.clear();
287}
288
289void NetworkLevelReasoner::storeIntoOther( NetworkLevelReasoner &other ) const
290{

Callers 1

storeIntoOtherMethod · 0.45

Calls 1

clearMethod · 0.45

Tested by

no test coverage detected