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

Method empty

src/common/Stack.h:33–36  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

31 }
32
33 bool empty() const
34 {
35 return _container.empty();
36 }
37
38 unsigned size() const
39 {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected