Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ ~Probe
Method
~Probe
gecode/search/seq/lds.hpp:132–138 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
130
131
template<class Tracer>
132
forceinline
133
Probe<Tracer>::~Probe(void) {
134
tracer.done();
135
delete cur;
136
while (!ds.empty())
137
delete ds.pop().space();
138
}
139
140
template<class Tracer>
141
forceinline Space*
Callers
nothing calls this directly
Calls
4
done
Method · 0.45
empty
Method · 0.45
space
Method · 0.45
pop
Method · 0.45
Tested by
no test coverage detected