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

Method allocateMemory

src/nlr/DeepPolyAbsoluteValueElement.cpp:178–195  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

176}
177
178void DeepPolyAbsoluteValueElement::allocateMemory()
179{
180 freeMemoryIfNeeded();
181
182 DeepPolyElement::allocateMemory();
183
184 _symbolicLb = new double[_size];
185 _symbolicUb = new double[_size];
186
187 std::fill_n( _symbolicLb, _size, 0 );
188 std::fill_n( _symbolicUb, _size, 0 );
189
190 _symbolicLowerBias = new double[_size];
191 _symbolicUpperBias = new double[_size];
192
193 std::fill_n( _symbolicLowerBias, _size, 0 );
194 std::fill_n( _symbolicUpperBias, _size, 0 );
195}
196
197void DeepPolyAbsoluteValueElement::freeMemoryIfNeeded()
198{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected