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

Method freeMemoryIfNeeded

src/engine/DnCManager.cpp:118–132  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

116}
117
118void DnCManager::freeMemoryIfNeeded()
119{
120 if ( _workload )
121 {
122 SubQuery *subQuery = NULL;
123 while ( !_workload->empty() )
124 {
125 _workload->pop( subQuery );
126 delete subQuery;
127 }
128
129 delete _workload;
130 _workload = NULL;
131 }
132}
133
134void DnCManager::solve()
135{

Callers

nothing calls this directly

Calls 2

emptyMethod · 0.45
popMethod · 0.45

Tested by

no test coverage detected