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

Method freeMemoryIfNeeded

src/nlr/DeepPolySigmoidElement.cpp:203–226  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

201}
202
203void DeepPolySigmoidElement::freeMemoryIfNeeded()
204{
205 DeepPolyElement::freeMemoryIfNeeded();
206 if ( _symbolicLb )
207 {
208 delete[] _symbolicLb;
209 _symbolicLb = NULL;
210 }
211 if ( _symbolicUb )
212 {
213 delete[] _symbolicUb;
214 _symbolicUb = NULL;
215 }
216 if ( _symbolicLowerBias )
217 {
218 delete[] _symbolicLowerBias;
219 _symbolicLowerBias = NULL;
220 }
221 if ( _symbolicUpperBias )
222 {
223 delete[] _symbolicUpperBias;
224 _symbolicUpperBias = NULL;
225 }
226}
227
228void DeepPolySigmoidElement::log( const String &message )
229{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected