MCPcopy Create free account
hub / github.com/Gecode/gecode / dispose

Method dispose

gecode/gist/spacenode.cpp:290–294  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

288 }
289
290 void
291 SpaceNode::dispose(void) {
292 delete choice;
293 delete static_cast<Space*>(Support::funmark(copy));
294 }
295
296
297 int

Callers 1

processCurrentNodeMethod · 0.45

Calls 1

funmarkFunction · 0.85

Tested by

no test coverage detected