Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NeuralNetworkVerification/Marabou
/ empty
Method
empty
src/common/HashSet.h:95–98 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
93
}
94
95
bool empty() const
96
{
97
return _container.empty();
98
}
99
100
const_iterator find( const Value &value ) const
101
{
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected