MCPcopy 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