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

Method erase

src/basis_factorization/SparseUnsortedArray.cpp:230–236  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

228}
229
230void SparseUnsortedArray::erase( unsigned index )
231{
232 ASSERT( index < _nnz );
233
234 _array[index] = _array[_nnz - 1];
235 --_nnz;
236}
237
238void SparseUnsortedArray::mergeEntries( unsigned source, unsigned target )
239{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected