[gecode-users] Deleting spaces

[Malcolm Ryan]

A question about memory management. If I do the following:

Space* space = new Space();
//... set up problem

Search::Options o;
Gecode::DFS<Space> dfs(space, o);

Space* result = dfs.next();

Should I now delete space? Should I delete result? Or do they belong  
to dfs?

Malcolm