Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NeuralNetworkVerification/Marabou
/ empty
Method
empty
src/basis_factorization/SparseUnsortedArray.cpp:113–116 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
111
}
112
113
bool SparseUnsortedArray::empty() const
114
{
115
return _nnz == 0;
116
}
117
118
double SparseUnsortedArray::get( unsigned entry ) const
119
{
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected