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

Method enqueueToGarbageCollect

deps/CVC4/context/context.cpp:297–300  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

295}
296
297void ContextObj::enqueueToGarbageCollect() {
298 Assert(d_pScope != NULL);
299 d_pScope->enqueueToGarbageCollect(this);
300}
301
302ContextNotifyObj::ContextNotifyObj(Context* pContext, bool preNotify) {
303 if(preNotify) {

Callers

nothing calls this directly

Calls 2

resetMethod · 0.45
push_backMethod · 0.45

Tested by

no test coverage detected