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

Method addNotifyObjPre

deps/CVC4/context/context.cpp:119–126  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

117
118
119void Context::addNotifyObjPre(ContextNotifyObj* pCNO) {
120 // Insert pCNO at *front* of list
121 if(d_pCNOpre != NULL)
122 d_pCNOpre->prev() = &(pCNO->next());
123 pCNO->next() = d_pCNOpre;
124 pCNO->prev() = &d_pCNOpre;
125 d_pCNOpre = pCNO;
126}
127
128
129void Context::addNotifyObjPost(ContextNotifyObj* pCNO) {

Callers 1

ContextNotifyObjMethod · 0.80

Calls 2

prevMethod · 0.80
nextMethod · 0.45

Tested by

no test coverage detected